From 5065c5ba5e5e886bd4eb0900e5e534dfa7ec52f4 Mon Sep 17 00:00:00 2001 From: Pierre Neidhardt Date: Sat, 19 Dec 2020 21:32:59 +0100 Subject: [PATCH] config/guix/system/usb-install-media: Use nonfree linux, remove GDM. --- .config/guix/system/usb-install-media.scm | 24 ++++++++++++++++++++++- 1 file changed, 23 insertions(+), 1 deletion(-) diff --git a/.config/guix/system/usb-install-media.scm b/.config/guix/system/usb-install-media.scm index 095dd8f7..13924d91 100644 --- a/.config/guix/system/usb-install-media.scm +++ b/.config/guix/system/usb-install-media.scm @@ -1,12 +1,32 @@ ;; With Eshell: ;; guix system -L ~/.config/guix/system disk-image ~/.config/guix/system/usb-install-media.scm +;; TODO: Make Guix-like installer with nonfree kernel. + (define-module (usb-install-media) + #:use-module (srfi srfi-1) #:use-module (default) + #:use-module (nongnu packages linux) #:use-module (gnu)) +(use-service-modules + desktop ; To remove bluetooth. + ;; To remove GDM: + xorg) + (use-package-modules bootloaders) +(define-public %usb/services + (cons* + (remove + (lambda (service) + (member (service-kind service) + (list bluetooth-service + cups-pk-helper-service-type + geoclue-service + gdm-service-type))) + %ambrevar/services))) + (operating-system (inherit %ambrevar/default-os) ;; For some reason USB media can only be booted with GRUB set to "bios" mode. @@ -16,6 +36,7 @@ (bootloader (bootloader-configuration (bootloader grub-bootloader) (target "/dev/sda"))) + (kernel linux) (file-systems (cons* (file-system (device (file-system-label "guix")) (mount-point "/") @@ -25,4 +46,5 @@ (mount-point "/tmp") (type "tmpfs") (check? #f)) - %base-file-systems))) + %base-file-systems)) + (services %usb/services))