config/guix/system/usb-install-media: Fix build.
parent
37895e95ca
commit
79206f77eb
|
@ -1,5 +1,5 @@
|
||||||
;; With Eshell:
|
;; With Eshell:
|
||||||
;; guix system -L .config/guix/system disk-image ~/.config/guix/system/usb-install-media.scm
|
;; guix system -L ~/.config/guix/system disk-image ~/.config/guix/system/usb-install-media.scm
|
||||||
|
|
||||||
(define-module (usb-install-media)
|
(define-module (usb-install-media)
|
||||||
#:use-module (default)
|
#:use-module (default)
|
||||||
|
@ -8,7 +8,7 @@
|
||||||
(use-package-modules bootloaders)
|
(use-package-modules bootloaders)
|
||||||
|
|
||||||
(operating-system
|
(operating-system
|
||||||
(inherit default-operating-system)
|
(inherit %ambrevar/default-os)
|
||||||
;; For some reason USB media can only be booted with GRUB set to "bios" mode.
|
;; For some reason USB media can only be booted with GRUB set to "bios" mode.
|
||||||
;; It could have been possible to specialize default-operating-system
|
;; It could have been possible to specialize default-operating-system
|
||||||
;; depending on (command-line) containing "reconfigure" or "disk-image", but
|
;; depending on (command-line) containing "reconfigure" or "disk-image", but
|
||||||
|
@ -17,7 +17,7 @@
|
||||||
(bootloader grub-bootloader)
|
(bootloader grub-bootloader)
|
||||||
(target "/dev/sda")))
|
(target "/dev/sda")))
|
||||||
(file-systems (cons* (file-system
|
(file-systems (cons* (file-system
|
||||||
(device (file-system-label "guixsd"))
|
(device (file-system-label "guix"))
|
||||||
(mount-point "/")
|
(mount-point "/")
|
||||||
(type "ext4"))
|
(type "ext4"))
|
||||||
(file-system
|
(file-system
|
||||||
|
|
Loading…
Reference in New Issue