diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-05-18 21:58:01 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2014-05-18 22:27:23 +0200 |
commit | d5b429abda948c21a61032a1da9d472410edaa90 (patch) | |
tree | 26387e555d386b9b565644e14acae73434daf47e /COPYING | |
parent | 72b9d60df4723541e1a65f7a3d14abb757fbed97 (diff) |
system: Add 'grub-configuration' record.
* gnu/system/grub.scm (<grub-configuration>): New record type.
(grub-configuration-file): Add 'config' parameter; remove
#:default-entry and #:timeout. Honor CONFIG.
* gnu/system.scm (<operating-system>): Remove 'bootloader-entries'
field; remove default value for 'bootloader' field.
(operating-system-grub.cfg): Pass the 'bootloader' field to
'grub-configuration-file'.
* build-aux/hydra/demo-os.scm (bootloader): New field.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions