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 /THANKS | |
| parent | a9e5e92f940381e3a4ee828c6d8ff22a73067e17 (diff) | |
| download | patches-44d5f54e31039d78f156bd9562dca293124eaa76.tar patches-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 'THANKS')
0 files changed, 0 insertions, 0 deletions