;; 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)) (use-service-modules cups desktop networking ssh xorg) (operating-system (kernel linux) (firmware (list linux-firmware)) (locale "en_US.utf8") (timezone "Europe/Athens") (keyboard-layout (keyboard-layout "us,gr" #:options '("grp:alt_tab_toggle" "ctrl:nocaps"))) (host-name "evilgnu") ;; The list of user accounts ('root' is implicit). (users (cons* (user-account (name "apollo") (comment "Apollo") (group "users") (home-directory "/home/apollo") (supplementary-groups '("wheel" "netdev" "audio" "video"))) (user-account (name "elliot") (comment "Elliot") (group "users") (home-directory "/home/elliot") (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 "emacs") (specification->package "emacs-exwm") (specification->package "emacs-desktop-environment") (specification->package "nss-certs")) %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 (service gnome-desktop-service-type) ;; To configure OpenSSH, pass an 'openssh-configuration' ;; record as a second argument to 'service' below. (service openssh-service-type) (bluetooth-service #:auto-enable? #t) (service cups-service-type) (set-xorg-configuration (xorg-configuration (keyboard-layout keyboard-layout)))) ;; This is the default list of services we ;; are appending to. %desktop-services)) (bootloader (bootloader-configuration (bootloader grub-efi-bootloader) (targets (list "/boot/efi")) (keyboard-layout keyboard-layout))) (swap-devices (list (swap-space (target (uuid "7c3875ab-ccc0-49b5-bdd5-b49909cf3c01"))))) ;; 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 "/boot/efi") (device (uuid "021E-83B3" 'fat32)) (type "vfat")) (file-system (mount-point "/") (device (uuid "b0147644-6bbf-41b8-85c5-0a4c3fce042b" 'ext4)) (type "ext4")) (file-system (mount-point "/home") (device (uuid "4cf08e5e-47c3-41b4-bd05-abbe5e6f5590" 'ext4)) (type "ext4")) %base-file-systems)))