system: Adjust 'grub.cfg' to work on systems with a separate /boot.
authorLudovic Courtès <ludo@gnu.org>
Sat, 13 Dec 2014 20:28:12 +0000 (21:28 +0100)
committerLudovic Courtès <ludo@gnu.org>
Sat, 13 Dec 2014 21:13:57 +0000 (22:13 +0100)
commit6c777cf88c84c164e825f6e875bb4d2812892ed9
treefa2d21c073b4955273ca289e3c474c96173030ed
parent5c5e7bdafd38e2bed2c4e0b0f64fefb16855aded
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'.
gnu/system/grub.scm