diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2018-06-23 23:38:18 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2018-06-26 17:27:40 +0200 |
| commit | aa5a549c65485ff826267a48795c1564af17f1c9 (patch) | |
| tree | 38a43c25e2df5925556ee1dccc6c0391b405d902 /gnu/system | |
| parent | 88d4a9c2be12a754a99b3c4f8dc125a33be70927 (diff) | |
| download | patches-aa5a549c65485ff826267a48795c1564af17f1c9.tar patches-aa5a549c65485ff826267a48795c1564af17f1c9.tar.gz | |
bootloader: grub-efi: Support EFI directories relative to MOUNT-POINT.
* gnu/bootloader/grub.scm (install-grub-efi): When MOUNT-POINT/EFI-DIR exists,
install there rather than EFI-DIR directly.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions