system: Support the addition of old entries in the GRUB menu.
authorLudovic Courtès <ludo@gnu.org>
Wed, 25 Jun 2014 20:54:52 +0000 (22:54 +0200)
committerLudovic Courtès <ludo@gnu.org>
Wed, 25 Jun 2014 21:53:27 +0000 (23:53 +0200)
commitfe6e3fe2a56aede1d5e04bab3281515c8df86ff8
tree352cdbc887b981e99aedd9a025e2823ae34f4d34
parent64e40dbb692d537e67d1dccd727dd5c36e39a10e
system: Support the addition of old entries in the GRUB menu.

* gnu/system.scm (operating-system-grub.cfg): Add 'old-entries'
  parameter.  Pass it to 'grub-configuration-file'.
* gnu/system/grub.scm (grub-configuration-file): Add #:old-entries
  parameter.  Honor it.
gnu/system.scm
gnu/system/grub.scm