diff options
author | Mathieu Othacehe <m.othacehe@gmail.com> | 2017-04-15 16:19:06 +0200 |
---|---|---|
committer | Danny Milosavljevic <dannym@scratchpost.org> | 2017-04-15 16:37:55 +0200 |
commit | 2e58e05bb68d4b747882cfa2b460b132d456f54a (patch) | |
tree | 5cd534511dacc6dc49be6962f1b3c862d72891d6 /po | |
parent | 0ab1e8ae8892c92fd7a1fd07430ba6f2b710668d (diff) | |
download | guix-2e58e05bb68d4b747882cfa2b460b132d456f54a.tar.gz |
system: Pass boot-parameters to (gnu system grub).
* gnu/system.scm (operating-system-bootcfg): Pass boot-parameters. * gnu/system/grub.scm (boot-parameters->menu-entry): New variable. (grub-configuration-file): Use boot-parameters->menu-entry. Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions