diff options
| author | Danny Milosavljevic <dannym@scratchpost.org> | 2017-04-21 14:37:09 +0200 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2017-05-05 15:03:47 +0200 |
| commit | 9530e73b496fefe65dcb936825b6beda79f7fdf2 (patch) | |
| tree | 096b31fa11ea968b9b3d6cca0a30deaa5e8a0443 /gnu/system | |
| parent | 33f0aa88155ee0718f21e7de24eb539cb9872217 (diff) | |
| download | patches-9530e73b496fefe65dcb936825b6beda79f7fdf2.tar patches-9530e73b496fefe65dcb936825b6beda79f7fdf2.tar.gz | |
system: Introduce read-boot-parameters-file.
* gnu/system.scm (read-boot-parameters): Remove export.
(read-boot-parameters-file): New variable. Export it.
* guix/scripts/system.scm (profile-boot-parameters): Use
read-boot-parameters-file.
(profile-grub-entries): Use read-boot-parameters-file.
(reinstall-grub): Use read-boot-parameters-file.
(display-system-generation): Use read-boot-parameters-file.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions