config/guix/system/laptop-mimimi: Working minimal GNOME.
parent
44cca0c17f
commit
57d62332d2
|
@ -89,10 +89,8 @@ EndSection")
|
||||||
(xorg-configuration
|
(xorg-configuration
|
||||||
(xorg-configuration
|
(xorg-configuration
|
||||||
(modules (list xf86-video-vesa
|
(modules (list xf86-video-vesa
|
||||||
xf86-video-fbdev
|
|
||||||
xf86-video-intel
|
xf86-video-intel
|
||||||
;; xf86-video-nouveau
|
xf86-input-libinput))
|
||||||
))
|
|
||||||
(extra-config (list %mimimi/xorg-touchpad)))))))))
|
(extra-config (list %mimimi/xorg-touchpad)))))))))
|
||||||
|
|
||||||
(define-public gnome-minimal
|
(define-public gnome-minimal
|
||||||
|
@ -112,7 +110,7 @@ EndSection")
|
||||||
"cheese"
|
"cheese"
|
||||||
"eog"
|
"eog"
|
||||||
"epiphany"
|
"epiphany"
|
||||||
"evince" ; REVIEW: Keep for gnome-default-applications?
|
"evince" ; TODO: Remains pulled in with gnome-default-applications.
|
||||||
"file-roller"
|
"file-roller"
|
||||||
"gedit"
|
"gedit"
|
||||||
"gnome-boxes"
|
"gnome-boxes"
|
||||||
|
@ -127,7 +125,7 @@ EndSection")
|
||||||
;; "gnome-music"
|
;; "gnome-music"
|
||||||
;; "gnome-photos"
|
;; "gnome-photos"
|
||||||
"gnome-screenshot"
|
"gnome-screenshot"
|
||||||
;; "gnome-system-monitor" ; Needed for gnome-polkit-settings
|
;; "gnome-system-monitor" ; TODO: Needed for gnome-polkit-settings: edit package to no break when gnome-system-monitor is missing.
|
||||||
"gnome-terminal"
|
"gnome-terminal"
|
||||||
"gnome-weather"
|
"gnome-weather"
|
||||||
"simple-scan"
|
"simple-scan"
|
||||||
|
@ -135,27 +133,42 @@ EndSection")
|
||||||
;; Others
|
;; Others
|
||||||
"gnome-online-accounts")))))
|
"gnome-online-accounts")))))
|
||||||
|
|
||||||
|
(define drive-mapping
|
||||||
|
(list (mapped-device
|
||||||
|
;; The UUID is that returned by 'cryptsetup luksUUID'.
|
||||||
|
(source (uuid "17d4df8c-04dc-43aa-b017-f69cd3bc5a7d"))
|
||||||
|
(target "guix")
|
||||||
|
(type luks-device-mapping))))
|
||||||
|
|
||||||
|
(define root-partition
|
||||||
|
(file-system
|
||||||
|
(device (file-system-label "guix"))
|
||||||
|
(mount-point "/")
|
||||||
|
(type "btrfs")
|
||||||
|
(options "subvol=rootfs,compress=zstd")
|
||||||
|
(dependencies drive-mapping)))
|
||||||
|
|
||||||
(operating-system
|
(operating-system
|
||||||
(inherit %ambrevar/default-os)
|
(inherit %ambrevar/default-os)
|
||||||
(host-name "mimimi")
|
(host-name "mimimi")
|
||||||
|
|
||||||
(kernel linux)
|
(kernel linux)
|
||||||
|
|
||||||
;; The UUID is that returned by 'cryptsetup luksUUID'.
|
(mapped-devices drive-mapping)
|
||||||
(mapped-devices
|
|
||||||
(list (mapped-device
|
|
||||||
(source (uuid "b29cb68b-b154-4228-a131-34e9c474b0bd"))
|
|
||||||
(target "guix")
|
|
||||||
(type luks-device-mapping))))
|
|
||||||
|
|
||||||
(firmware (append (list iwlwifi-firmware)
|
(firmware (append (list iwlwifi-firmware)
|
||||||
%ambrevar/firmware))
|
%ambrevar/firmware))
|
||||||
|
|
||||||
(file-systems (cons* (file-system
|
(file-systems (cons* root-partition
|
||||||
(device (file-system-label "guix"))
|
;; TODO: Separate boot partition (to avoid double LUKS
|
||||||
(mount-point "/")
|
;; password prompt) does not work:
|
||||||
(type "ext4")
|
;; (file-system
|
||||||
(dependencies mapped-devices))
|
;; (device (file-system-label "boot"))
|
||||||
|
;; (mount-point "/boot")
|
||||||
|
;; (type "ext4")
|
||||||
|
;; ;; (needed-for-boot? #t)
|
||||||
|
;; (dependencies (list root-partition))
|
||||||
|
;; )
|
||||||
(file-system
|
(file-system
|
||||||
(device (uuid "4E30-891F" 'fat))
|
(device (uuid "4E30-891F" 'fat))
|
||||||
(mount-point "/boot/efi")
|
(mount-point "/boot/efi")
|
||||||
|
|
Loading…
Reference in New Issue