2025-11-01 08:45:34 -05:00
|
|
|
;; 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.
|
2025-11-28 11:10:40 -06:00
|
|
|
(use-modules (gnu home services sound) (nongnu packages linux))
|
|
|
|
|
(use-service-modules cups desktop networking ssh xorg sound)
|
2025-11-01 08:45:34 -05:00
|
|
|
(use-package-modules shells)
|
|
|
|
|
|
|
|
|
|
(operating-system
|
|
|
|
|
(kernel linux)
|
|
|
|
|
(firmware (list linux-firmware))
|
|
|
|
|
(locale "en_US.utf8")
|
|
|
|
|
(timezone "America/Chicago")
|
|
|
|
|
(keyboard-layout (keyboard-layout "us"))
|
2025-11-01 15:24:34 -05:00
|
|
|
(host-name "x1carbon")
|
2025-11-01 08:45:34 -05:00
|
|
|
|
|
|
|
|
;; The list of user accounts ('root' is implicit).
|
2025-11-01 09:17:06 -05:00
|
|
|
(users
|
|
|
|
|
(cons*
|
|
|
|
|
(user-account
|
|
|
|
|
(name "bartronx7")
|
|
|
|
|
(comment "Bart")
|
|
|
|
|
(group "users")
|
|
|
|
|
(home-directory "/home/bartronx7")
|
|
|
|
|
(shell #~(string-append #$zsh "/bin/zsh"))
|
|
|
|
|
(supplementary-groups '("wheel" "netdev" "audio" "video")))
|
|
|
|
|
(user-account
|
|
|
|
|
(name "kate")
|
|
|
|
|
(comment "Kate")
|
|
|
|
|
(group "users")
|
|
|
|
|
(home-directory "/home/kate")
|
|
|
|
|
(supplementary-groups '("wheel" "netdev" "audio" "video")))
|
|
|
|
|
(user-account
|
|
|
|
|
(name "emma")
|
|
|
|
|
(comment "Emma")
|
|
|
|
|
(group "users")
|
|
|
|
|
(home-directory "/home/emma")
|
|
|
|
|
(supplementary-groups '("wheel" "netdev" "audio" "video")))
|
|
|
|
|
(user-account
|
|
|
|
|
(name "claire")
|
|
|
|
|
(comment "Claire")
|
|
|
|
|
(group "users")
|
|
|
|
|
(home-directory "/home/claire")
|
|
|
|
|
(supplementary-groups '("wheel" "netdev" "audio" "video")))
|
|
|
|
|
%base-user-accounts))
|
2025-11-01 08:45:34 -05:00
|
|
|
|
2025-11-28 11:10:40 -06:00
|
|
|
;; Packages installed system-wide. Users can also install packages
|
2025-11-01 08:45:34 -05:00
|
|
|
;; under their own account: use 'guix search KEYWORD' to search
|
|
|
|
|
;; for packages and 'guix install PACKAGE' to install a package.
|
2025-11-01 09:17:06 -05:00
|
|
|
(packages
|
|
|
|
|
(append
|
|
|
|
|
(map specification->package (list
|
2025-11-28 11:10:40 -06:00
|
|
|
"curl"
|
|
|
|
|
"dmenu"
|
2025-11-01 09:17:06 -05:00
|
|
|
"firefox"
|
|
|
|
|
"git"
|
2025-11-28 11:10:40 -06:00
|
|
|
"gnome-shell-extensions"
|
|
|
|
|
"gnome-shell-extensions-weather-oclock"
|
|
|
|
|
"gnome-shell-extensions-vitals"
|
|
|
|
|
"libreoffice"
|
|
|
|
|
"pipewire"
|
2025-11-01 09:17:06 -05:00
|
|
|
"rust"
|
2025-11-28 11:10:40 -06:00
|
|
|
"st"
|
|
|
|
|
"unzip"
|
|
|
|
|
"vlc"
|
|
|
|
|
"wireplumber"
|
|
|
|
|
"zsh"))
|
2025-11-01 09:17:06 -05:00
|
|
|
%base-packages))
|
2025-11-01 08:45:34 -05:00
|
|
|
|
|
|
|
|
;; Below is the list of system services. To search for available
|
|
|
|
|
;; services, run 'guix system search KEYWORD' in a terminal.
|
|
|
|
|
(services
|
2025-11-01 09:17:06 -05:00
|
|
|
(append
|
|
|
|
|
%desktop-services
|
|
|
|
|
(list
|
2025-11-28 11:10:40 -06:00
|
|
|
(service gnome-desktop-service-type)
|
|
|
|
|
(service home-pipewire-service-type)
|
|
|
|
|
(service home-wireplumber-service-type)
|
|
|
|
|
(service bluetooth-service-type
|
|
|
|
|
(bluetooth-configuration
|
|
|
|
|
(fast-connectable? #t)
|
|
|
|
|
(auto-enable? #t)))
|
|
|
|
|
(service openssh-service-type)
|
|
|
|
|
(service tor-service-type)
|
|
|
|
|
(service cups-service-type
|
|
|
|
|
(cups-configuration
|
|
|
|
|
(web-interface? #t)))
|
|
|
|
|
(set-xorg-configuration (xorg-configuration (keyboard-layout keyboard-layout))))))
|
2025-11-01 08:45:34 -05:00
|
|
|
|
2025-11-01 09:17:06 -05:00
|
|
|
(bootloader
|
|
|
|
|
(bootloader-configuration
|
|
|
|
|
(bootloader grub-efi-bootloader)
|
|
|
|
|
(targets (list "/boot/efi"))
|
|
|
|
|
(keyboard-layout keyboard-layout)))
|
2025-11-01 08:45:34 -05:00
|
|
|
|
2025-11-01 09:17:06 -05:00
|
|
|
(mapped-devices
|
|
|
|
|
(list
|
|
|
|
|
(mapped-device
|
2025-11-01 15:24:34 -05:00
|
|
|
(source (uuid "7806a618-e7c1-4881-be00-16041bfd418f"))
|
|
|
|
|
(target "home")
|
2025-11-01 09:17:06 -05:00
|
|
|
(type luks-device-mapping))))
|
2025-11-28 11:10:40 -06:00
|
|
|
|
|
|
|
|
(swap-devices (list
|
|
|
|
|
(swap-space (target (uuid "3d8108a1-31f6-4578-ac55-61d036de767d")))))
|
2025-11-01 08:45:34 -05:00
|
|
|
|
|
|
|
|
;; The list of file systems that get "mounted". The unique
|
|
|
|
|
;; file system identifiers there ("UUIDs") can be obtained
|
|
|
|
|
;; by running 'blkid' in a terminal.
|
2025-11-01 09:17:06 -05:00
|
|
|
(file-systems
|
|
|
|
|
(cons*
|
|
|
|
|
(file-system
|
|
|
|
|
(mount-point "/boot/efi")
|
2025-11-01 15:24:34 -05:00
|
|
|
(device (uuid "D4BC-107B" 'fat32))
|
2025-11-01 09:17:06 -05:00
|
|
|
(type "vfat"))
|
|
|
|
|
(file-system
|
|
|
|
|
(mount-point "/")
|
2025-11-01 15:24:34 -05:00
|
|
|
(device (uuid "9230ca9f-8dcd-4ad5-bd7b-96a94e6227f7"))
|
2025-11-01 09:17:06 -05:00
|
|
|
(type "btrfs"))
|
|
|
|
|
(file-system
|
|
|
|
|
(mount-point "/home")
|
2025-11-01 15:24:34 -05:00
|
|
|
(device "/dev/mapper/home")
|
2025-11-01 09:17:06 -05:00
|
|
|
(type "btrfs")
|
|
|
|
|
(dependencies mapped-devices))
|
|
|
|
|
%base-file-systems)))
|