2026-03-15 14:05:15 +01: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.
|
2026-03-15 14:56:55 +01:00
|
|
|
(use-modules (gnu)
|
|
|
|
|
(gnu home)
|
|
|
|
|
(gnu home services)
|
|
|
|
|
(gnu home services shells)
|
|
|
|
|
(gnu home services dotfiles)
|
|
|
|
|
(gnu services)
|
|
|
|
|
(gnu packages admin)
|
|
|
|
|
(gnu packages gnuzilla)
|
|
|
|
|
(gnu packages video)
|
|
|
|
|
(guix gexp))
|
|
|
|
|
(use-service-modules cups desktop guix networking ssh xorg)
|
|
|
|
|
|
|
|
|
|
(define muni-home
|
|
|
|
|
(home-environment
|
|
|
|
|
(packages (map specification->package
|
|
|
|
|
'("icecat"
|
|
|
|
|
"mpv")))
|
|
|
|
|
(services
|
|
|
|
|
(append (list (service home-bash-service-type
|
|
|
|
|
(home-bash-configuration
|
|
|
|
|
(guix-defaults? #t)
|
|
|
|
|
(aliases
|
|
|
|
|
'(("ll" . "ls -l")))
|
|
|
|
|
(variables
|
|
|
|
|
`(("HISTSIZE" . "50000")))))
|
|
|
|
|
(service home-files-service-type
|
|
|
|
|
`((".guile" ,%default-dotguile)))
|
|
|
|
|
(service home-dotfiles-service-type
|
|
|
|
|
(home-dotfiles-configuration
|
|
|
|
|
(directories '("./dotfiles"))))
|
|
|
|
|
(service home-xdg-configuration-files-service-type
|
|
|
|
|
`(("nano/nanorc" ,%default-nanorc))))
|
|
|
|
|
%base-home-services))))
|
2026-03-15 14:05:15 +01:00
|
|
|
|
|
|
|
|
(operating-system
|
|
|
|
|
(locale "en_US.utf8")
|
|
|
|
|
(timezone "Europe/Berlin")
|
|
|
|
|
(keyboard-layout (keyboard-layout "de"))
|
|
|
|
|
(host-name "ashram")
|
|
|
|
|
|
|
|
|
|
;; The list of user accounts ('root' is implicit).
|
|
|
|
|
(users (cons* (user-account
|
|
|
|
|
(name "muni")
|
|
|
|
|
(comment "muni")
|
|
|
|
|
(group "users")
|
|
|
|
|
(home-directory "/home/muni")
|
|
|
|
|
(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.
|
2026-03-15 14:56:55 +01:00
|
|
|
(packages (append (map specification->package
|
|
|
|
|
'("emacs"
|
|
|
|
|
"icecat"
|
|
|
|
|
"emacs-geiser"
|
|
|
|
|
"emacs-geiser-guile"
|
|
|
|
|
"guile"
|
|
|
|
|
"git"
|
|
|
|
|
"ripgrep"
|
|
|
|
|
"fd"
|
|
|
|
|
"htop"
|
|
|
|
|
"make"
|
|
|
|
|
"vim"))
|
|
|
|
|
%base-packages))
|
2026-03-15 14:05:15 +01:00
|
|
|
|
|
|
|
|
;; 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)
|
|
|
|
|
(service enlightenment-desktop-service-type)
|
|
|
|
|
(service gnome-desktop-service-type)
|
2026-03-15 14:56:55 +01:00
|
|
|
(service guix-home-service-type `(("muni" ,muni-home)))
|
2026-03-15 14:05:15 +01:00
|
|
|
(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-bootloader)
|
|
|
|
|
(targets (list "/dev/sda"))
|
|
|
|
|
(keyboard-layout keyboard-layout)))
|
|
|
|
|
(swap-devices (list (swap-space
|
2026-03-15 14:56:55 +01:00
|
|
|
(target (uuid "e925b220-066c-45ea-9b8c-4cb6141dc6a3")))))
|
2026-03-15 14:05:15 +01: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.
|
|
|
|
|
(file-systems (cons* (file-system
|
|
|
|
|
(mount-point "/boot/efi")
|
|
|
|
|
(device (uuid "8066-63C2"
|
|
|
|
|
'fat32))
|
|
|
|
|
(type "vfat"))
|
|
|
|
|
(file-system
|
|
|
|
|
(mount-point "/")
|
2026-03-15 14:56:55 +01:00
|
|
|
(device (uuid "f84f19c8-23f4-4c4a-b9cc-bc8cde2704a5"
|
|
|
|
|
'ext4))
|
2026-03-15 14:05:15 +01:00
|
|
|
(type "ext4"))
|
|
|
|
|
(file-system
|
|
|
|
|
(mount-point "/home")
|
2026-03-15 14:56:55 +01:00
|
|
|
(device (uuid "3b69b95f-05db-47ed-b8b4-f1649ce8f6d8"
|
|
|
|
|
'ext4))
|
2026-03-15 14:05:15 +01:00
|
|
|
(type "ext4")) %base-file-systems)))
|
