diff options
Diffstat (limited to 'system-configuration-wheatley.scm')
-rw-r--r-- | system-configuration-wheatley.scm | 132 |
1 files changed, 132 insertions, 0 deletions
diff --git a/system-configuration-wheatley.scm b/system-configuration-wheatley.scm new file mode 100644 index 0000000..a170447 --- /dev/null +++ b/system-configuration-wheatley.scm @@ -0,0 +1,132 @@ +;; This is an operating system configuration generated +;; by the graphical installer. +;; +;; Once installation is complete, you can learn and modify +;; this file to tweak the system configuration, and pass it +;; to the 'guix system reconfigure' command to effect your +;; changes. + +;; Indicate which modules to import to access the variables +;; used in this configuration. +(use-modules (gnu) + (nongnu packages linux) + (nongnu system linux-initrd) + (gnu packages shells) + (gnu packages wm)) +(use-service-modules cups desktop networking ssh xorg) + +(operating-system + (locale "en_US.utf8") + (timezone "Europe/Oslo") + (keyboard-layout (keyboard-layout "no")) + (host-name "wheatley") + (kernel linux) + (initrd microcode-initrd) + (firmware (list linux-firmware)) + (kernel-arguments '("modprobe.blacklist=b43,b43legacy,ssb,bcm43xx,brcm80211,brcmfmac,brcmsmac,bcma")) + (kernel-loadable-modules (list broadcom-sta)) + + ;; The list of user accounts ('root' is implicit). + (users (cons* (user-account + (name "luca") + (comment "Luca Matei Pintilie") + (group "users") + (home-directory "/home/luca") + (supplementary-groups '("wheel" "netdev" "audio" "video"))) + %base-user-accounts)) + + ;; Packages installed system-wide. Users can also install packages + ;; under their own account: use 'guix search KEYWORD' to search + ;; for packages and 'guix install PACKAGE' to install a package. + (packages (append (list (specification->package "sway") + (specification->package "wlgreet")) %base-packages)) + + ;; Below is the list of system services. To search for available + ;; services, run 'guix system search KEYWORD' in a terminal. + (services + (append (list + + ;; To configure OpenSSH, pass an 'openssh-configuration' + ;; record as a second argument to 'service' below. + (service openssh-service-type) + (service tor-service-type) + + ;; TODO: Replace gdm with greetd + ;; (service mingetty-service-type (mingetty-configuration (tty "tty1"))) + ;; (service mingetty-service-type (mingetty-configuration (tty "tty3"))) + ;; (service mingetty-service-type (mingetty-configuration (tty "tty4"))) + ;; (service mingetty-service-type (mingetty-configuration (tty "tty5"))) + ;; (service mingetty-service-type (mingetty-configuration (tty "tty6"))) + ;; (service seatd-service-type) + ;; (service greetd-service-type + ;; (greetd-configuration + ;; ;; We need to give the greeter user these permissions, otherwise + ;; ;; Sway will crash on launch. + ;; (greeter-supplementary-groups (list "video" "input")) + ;; (terminals (list (greetd-terminal-configuration (terminal-vt + ;; "2") + ;; (terminal-switch + ;; #t) + ;; (default-session-command + ;; (greetd-wlgreet-sway-session + ;; (sway-configuration + ;; (plain-file + ;; "sway-greetd.conf" + ;; "exec \"wlgreet --command sway; swaymsg exit\" + ;; bindsym Mod4+shift+e exec swaynag -t warning -m 'What do you want to do?' -b 'Poweroff' 'poweroff' -b 'Reboot' 'reboot' "))))))))) + + (service screen-locker-service-type + (screen-locker-configuration (name "swaylock") + (program (file-append + swaylock + "/bin/swaylock")) + (using-pam? #t) + (using-setuid? #f))) + + (set-xorg-configuration + (xorg-configuration (keyboard-layout keyboard-layout)))) + + ;; This is the default list of services we + ;; are appending to. + (modify-services %desktop-services + (guix-service-type config => + (guix-configuration (inherit config) + (discover? #t) + (substitute-urls (append (list + "https://substitutes.nonguix.org") + %default-substitute-urls)) + (authorized-keys (append (list + (plain-file + "non-guix.pub" + "(public-key + (ecc + (curve Ed25519) + (q #C1FD53E5D4CE971933EC50C9F307AE2171A2D3B52C804642A7A35F84F3A4EA98#) + ) + )")) + %default-authorized-guix-keys)))) + (gdm-service-type config => + (gdm-configuration (inherit config) + (auto-login? #t) + (default-user "luca") + (wayland? #t))) + (delete login-service-type) + ;; (delete mingetty-service-type) + ))) + (bootloader (bootloader-configuration + (bootloader grub-bootloader) + (targets (list "/dev/sda")) + (keyboard-layout keyboard-layout))) + (mapped-devices (list (mapped-device + (source (uuid "cfaf8994-2e9a-4e1d-a261-9d660a83436e")) + (target "cryptroot") + (type luks-device-mapping)))) + + ;; The list of file systems that get "mounted". The unique + ;; file system identifiers there ("UUIDs") can be obtained + ;; by running 'blkid' in a terminal. + (file-systems (cons* (file-system + (mount-point "/") + (device "/dev/mapper/cryptroot") + (type "ext4") + (dependencies mapped-devices)) %base-file-systems))) |