diff options
| author | Mathieu Othacehe <othacehe@gnu.org> | 2020-05-23 19:09:38 +0200 |
|---|---|---|
| committer | Mathieu Othacehe <othacehe@gnu.org> | 2020-05-29 08:40:00 +0200 |
| commit | 7e6a42f215726b6ea5b1a2a8b8bc80481f7ebcd9 (patch) | |
| tree | 8ca1f254c15d61272de5dbdabbeccba426865496 /po | |
| parent | 7feefb3b82186be382725ac2d6b7e9f8953e4a83 (diff) | |
bootloader: grub: Do not run grub-install when creating a disk-image.
* gnu/bootloader/grub.scm (install-grub): When creating a disk-image,
grub-install will fail because it lacks root permissions. In that case, do not
run grub-install and only copy Grub modules to the /boot directory.
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions