| 1 | ;; This is an operating system configuration generated
|
|---|
| 2 | ;; by the graphical installer.
|
|---|
| 3 | ;;
|
|---|
| 4 | ;; Once installation is complete, you can learn and modify
|
|---|
| 5 | ;; this file to tweak the system configuration, and pass it
|
|---|
| 6 | ;; to the 'guix system reconfigure' command to effect your
|
|---|
| 7 | ;; changes.
|
|---|
| 8 |
|
|---|
| 9 |
|
|---|
| 10 | ;; Indicate which modules to import to access the variables
|
|---|
| 11 | ;; used in this configuration.
|
|---|
| 12 | (use-modules (gnu)
|
|---|
| 13 | (nongnu packages linux)
|
|---|
| 14 | (nongnu system linux-initrd))
|
|---|
| 15 | (use-service-modules cups desktop networking ssh xorg)
|
|---|
| 16 |
|
|---|
| 17 | (operating-system
|
|---|
| 18 | (locale "en_US.utf8")
|
|---|
| 19 | (timezone "Asia/Tbilisi")
|
|---|
| 20 |
|
|---|
| 21 | (kernel linux)
|
|---|
| 22 | (initrd microcode-initrd)
|
|---|
| 23 | (firmware (list linux-firmware))
|
|---|
| 24 |
|
|---|
| 25 | (keyboard-layout (keyboard-layout "us,ru"
|
|---|
| 26 | #:options '("grp:shifts_toggle" "ctrl:nocaps")))
|
|---|
| 27 | (host-name "wkz-guix")
|
|---|
| 28 |
|
|---|
| 29 | ;; The list of user accounts ('root' is implicit).
|
|---|
| 30 | (users (cons* (user-account
|
|---|
| 31 | (name "w96k")
|
|---|
| 32 | (comment "W96K")
|
|---|
| 33 | (group "users")
|
|---|
| 34 | (home-directory "/home/w96k")
|
|---|
| 35 | (supplementary-groups '("wheel" "netdev" "audio" "video")))
|
|---|
| 36 | %base-user-accounts))
|
|---|
| 37 |
|
|---|
| 38 | ;; Packages installed system-wide. Users can also install packages
|
|---|
| 39 | ;; under their own account: use 'guix search KEYWORD' to search
|
|---|
| 40 | ;; for packages and 'guix install PACKAGE' to install a package.
|
|---|
| 41 | (packages (append (list (specification->package "ratpoison")
|
|---|
| 42 | (specification->package "xterm")
|
|---|
| 43 | (specification->package "emacs")
|
|---|
| 44 | (specification->package "emacs-exwm")
|
|---|
| 45 | (specification->package
|
|---|
| 46 | "emacs-desktop-environment")
|
|---|
| 47 | (specification->package "nss-certs"))
|
|---|
| 48 | %base-packages))
|
|---|
| 49 |
|
|---|
| 50 | ;; Below is the list of system services. To search for available
|
|---|
| 51 | ;; services, run 'guix system search KEYWORD' in a terminal.
|
|---|
| 52 | (services
|
|---|
| 53 | (append (list (service tor-service-type)
|
|---|
| 54 | (service openssh-service-type)
|
|---|
| 55 | (service slim-service-type
|
|---|
| 56 | (slim-configuration
|
|---|
| 57 | (xorg-configuration
|
|---|
| 58 | (xorg-configuration
|
|---|
| 59 | (keyboard-layout keyboard-layout)))))
|
|---|
| 60 |
|
|---|
| 61 | ;; (set-xorg-configuration
|
|---|
| 62 | ;; (xorg-configuration (keyboard-layout keyboard-layout)))
|
|---|
| 63 |
|
|---|
| 64 | )
|
|---|
| 65 |
|
|---|
| 66 | (modify-services %desktop-services
|
|---|
| 67 | (guix-service-type config => (guix-configuration
|
|---|
| 68 | (inherit config)
|
|---|
| 69 | (substitute-urls
|
|---|
| 70 | (append (list "https://substitutes.nonguix.org")
|
|---|
| 71 | %default-substitute-urls))
|
|---|
| 72 | (authorized-keys
|
|---|
| 73 | (append (list (plain-file "non-guix.pub"
|
|---|
| 74 | "
|
|---|
| 75 | (public-key
|
|---|
| 76 | (ecc
|
|---|
| 77 | (curve Ed25519)
|
|---|
| 78 | (q #C1FD53E5D4CE971933EC50C9F307AE2171A2D3B52C804642A7A35F84F3A4EA98#)
|
|---|
| 79 | )
|
|---|
| 80 | )
|
|---|
| 81 | "))
|
|---|
| 82 | %default-authorized-guix-keys))))
|
|---|
| 83 |
|
|---|
| 84 | (delete gdm-service-type))
|
|---|
| 85 |
|
|---|
| 86 | ))
|
|---|
| 87 | (bootloader (bootloader-configuration
|
|---|
| 88 | (bootloader grub-efi-bootloader)
|
|---|
| 89 | (targets (list "/boot/efi"))
|
|---|
| 90 | (keyboard-layout keyboard-layout)))
|
|---|
| 91 | (mapped-devices (list (mapped-device
|
|---|
| 92 | (source (uuid
|
|---|
| 93 | "6cfe9eed-8cdd-43da-9b9f-cec6f8ec538b"))
|
|---|
| 94 | (target "cryptroot")
|
|---|
| 95 | (type luks-device-mapping))))
|
|---|
| 96 |
|
|---|
| 97 | ;; The list of file systems that get "mounted". The unique
|
|---|
| 98 | ;; file system identifiers there ("UUIDs") can be obtained
|
|---|
| 99 | ;; by running 'blkid' in a terminal.
|
|---|
| 100 | (file-systems (cons* (file-system
|
|---|
| 101 | (mount-point "/boot/efi")
|
|---|
| 102 | (device (uuid "17C5-3E35"
|
|---|
| 103 | 'fat32))
|
|---|
| 104 | (type "vfat"))
|
|---|
| 105 | (file-system
|
|---|
| 106 | (mount-point "/")
|
|---|
| 107 | (device "/dev/mapper/cryptroot")
|
|---|
| 108 | (type "ext4")
|
|---|
| 109 | (dependencies mapped-devices)) %base-file-systems)))
|
|---|
