diff options
| author | Danny Milosavljevic <dannym@scratchpost.org> | 2017-04-15 19:34:00 +0200 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2017-04-15 19:34:00 +0200 |
| commit | abae042ea4d7fc3add0341dc2e04aaa0d7a12646 (patch) | |
| tree | 19778d1e3e2bc0d199da4201848e14817218c89c /gnu/packages/idris.scm | |
| parent | 8c326cf644b2fda3f33eb8816387ff1bd2acc640 (diff) | |
| download | patches-abae042ea4d7fc3add0341dc2e04aaa0d7a12646.tar patches-abae042ea4d7fc3add0341dc2e04aaa0d7a12646.tar.gz | |
scripts: system: Introduce profile-boot-parameters.
* guix/scripts/system.scm (profile-boot-parameters): New variable.
(reinstall-grub): Use profile-boot-parameters.
(perform-action): Use profile-boot-parameters.
Follow-up to 2e58e05bb68d4b747882cfa2b460b132d456f54a.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions