diff options
author | Mathieu Othacehe <othacehe@gnu.org> | 2020-05-23 19:09:14 +0200 |
---|---|---|
committer | Mathieu Othacehe <othacehe@gnu.org> | 2020-05-29 08:37:13 +0200 |
commit | 7feefb3b82186be382725ac2d6b7e9f8953e4a83 (patch) | |
tree | 6b352b4bdeec4425ba647047a056a94b3f16ef6d /etc | |
parent | 7c5c21fd467cb4554a39569087a118621fc42ec3 (diff) | |
download | guix-7feefb3b82186be382725ac2d6b7e9f8953e4a83.tar.gz |
bootloader: Add 'disk-image-installer'.
* gnu/bootloader.scm (<bootloader>)[disk-image-installer]: New field, (bootloader-disk-image-installer): export it. * gnu/bootloader/grub.scm (install-grub-disk-image): New procedure ... (grub-bootloader): ... used as "disk-image-installer" here. (grub-efi-bootloader): set "disk-image-installer" to #f. * gnu/system/image.scm (root-partition?, find-root-partition): Move to "Helpers" section. (root-partition-index): New procedure. (system-disk-image): Honor disk-image-installer, and use it to install the bootloader directly on the disk-image, if supported.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions