diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-12-13 21:28:12 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-12-13 22:13:57 +0100 |
| commit | 6c777cf88c84c164e825f6e875bb4d2812892ed9 (patch) | |
| tree | fa2d21c073b4955273ca289e3c474c96173030ed /AUTHORS | |
| parent | 5c5e7bdafd38e2bed2c4e0b0f64fefb16855aded (diff) | |
| download | guix-6c777cf88c84c164e825f6e875bb4d2812892ed9.tar.gz | |
system: Adjust 'grub.cfg' to work on systems with a separate /boot.
Fixes <http://bugs.gnu.org/19220>. Reported by Nikita Karetnikov <nikita@karetnikov.org>. * gnu/system/grub.scm (grub-configuration-file)[entry->gexp]: Add 'search --file --set'. (grub-configuration-file)[builder]: Remove 'search.file'.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions