system: Build the initrd file name with 'file-append'.

* gnu/system.scm (operating-system-initrd-file)
(operating-system-grub.cfg): Use 'file-append' to construct the initrd
file name.
This commit is contained in:
Ludovic Courtès 2016-09-09 23:38:24 +02:00
parent 44d5f54e31
commit ab20d74a46
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

@ -660,7 +660,7 @@ (define make-initrd
(mlet %store-monad ((initrd (make-initrd boot-file-systems
#:linux (operating-system-kernel os)
#:mapped-devices mapped-devices)))
(return #~(string-append #$initrd "/initrd"))))
(return (file-append initrd "/initrd"))))
(define (locale-name->definition* name)
"Variant of 'locale-name->definition' that raises an error upon failure."
@ -738,7 +738,7 @@ (define* (operating-system-grub.cfg os #:optional (old-entries '()))
#~(string-append "--load=" #$system
"/boot")
(operating-system-kernel-arguments os)))
(initrd #~(string-append #$system "/initrd"))))))
(initrd (file-append system "/initrd"))))))
(grub-configuration-file (operating-system-bootloader os)
store-fs entries
#:old-entries old-entries)))