diff options
| author | Danny Milosavljevic <dannym@scratchpost.org> | 2017-04-21 04:21:21 +0200 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2017-04-22 20:54:43 +0200 |
| commit | 71d04202026e2061f898a142a8381d55bee5fb00 (patch) | |
| tree | 7e914aa76d084eaf9347d7897a9bfc87464b49cc /gnu/system.scm | |
| parent | af98d25a1286e246e8da36d6d63b4d66e58f2cf8 (diff) | |
| download | patches-71d04202026e2061f898a142a8381d55bee5fb00.tar patches-71d04202026e2061f898a142a8381d55bee5fb00.tar.gz | |
system: Rename operating-system-parameters-file to operating-system-boot-parameters-file.
* gnu/system.scm (operating-system-parameters-file): Rename to ...
(operating-system-boot-parameters-file): ... this.
(operating-system-directory-base-entries): Adapt call site.
Diffstat (limited to 'gnu/system.scm')
| -rw-r--r-- | gnu/system.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/system.scm b/gnu/system.scm index 4032e8e150..44190bdfc6 100644 --- a/gnu/system.scm +++ b/gnu/system.scm @@ -278,7 +278,7 @@ value of the SYSTEM-SERVICE-TYPE service." (mlet %store-monad ((kernel -> (operating-system-kernel os)) (initrd (operating-system-initrd-file os)) - (params (operating-system-parameters-file os))) + (params (operating-system-boot-parameters-file os))) (return `(("kernel" ,kernel) ("parameters" ,params) ("initrd" ,initrd) @@ -769,7 +769,7 @@ device in a <menu-entry>." ((label) (file-system-device fs)) (else #f))) -(define (operating-system-parameters-file os) +(define (operating-system-boot-parameters-file os) "Return a file that describes the boot parameters of OS. The primary use of this file is the reconstruction of GRUB menu entries for old configurations." (mlet %store-monad ((initrd (operating-system-initrd-file os)) |