diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-09-09 23:27:00 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-09-09 23:54:43 +0200 |
| commit | 44d5f54e31039d78f156bd9562dca293124eaa76 (patch) | |
| tree | 2650e88b54721a2e50d3bd27019fac41bbdd8c78 /.dir-locals.el | |
| parent | a9e5e92f940381e3a4ee828c6d8ff22a73067e17 (diff) | |
| download | guix-44d5f54e31039d78f156bd9562dca293124eaa76.tar.gz | |
system: grub: Allow arbitrary kernel file names in 'menu-entry'.
Fixes <http://bugs.gnu.org/20067>. Reported by Tomáš Čech <sleep_walker@suse.cz>. * gnu/system.scm (system-linux-image-file-name) (operating-system-kernel-file): New procedures. (operating-system-grub.cfg): Use 'operating-system-kernel-file' for the 'kernel' field of 'menu-entry'. (operating-system-parameters-file): Likewise for the 'kernel' entry. (read-boot-parameters): Adjust 'kernel' field so that it contains the absolute file name of the image. * gnu/system/grub.scm (grub-configuration-file)[linux-image-name]: Remove. [entry->gexp]: Assume LINUX is the absolute file name of the kernel image. * doc/guix.texi (GRUB Configuration): Add an example, and adjust 'kernel' field documentation accordingly.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions