aboutsummaryrefslogtreecommitdiff
path: root/system-configuration-wheatley.scm
blob: 16880d09366fa00ec45c56c256e5fa3c39489fac (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
;; 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)
             (gnu system shadow)
             (nongnu system linux-initrd)
             (gnu packages shells)
             (gnu packages android)
             (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"
                                          "adbusers"))) %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")
                          (specification->package "bluez")
                          (specification->package "bluez-alsa"))
                    %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)
                 (service bluetooth-service-type)

                 (udev-rules-service 'android android-udev-rules
                                     #:groups '("adbusers"))

                 ;; 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)))