summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDanny Milosavljevic <dannym@scratchpost.org>2017-04-21 04:21:21 +0200
committerDanny Milosavljevic <dannym@scratchpost.org>2017-04-22 20:54:43 +0200
commit71d04202026e2061f898a142a8381d55bee5fb00 (patch)
tree7e914aa76d084eaf9347d7897a9bfc87464b49cc
parentaf98d25a1286e246e8da36d6d63b4d66e58f2cf8 (diff)
downloadpatches-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.
-rw-r--r--gnu/system.scm4
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))