summaryrefslogtreecommitdiff
path: root/system-configuration.scm
blob: 5e5cd101a6ac8df31f1c06fcf362904b693a37dd (about) (plain)
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
(use-modules (gnu))

(use-service-modules cups desktop networking ssh xorg)

(operating-system
 (locale "pl_PL.utf8")
 (timezone "Europe/Warsaw")
 (keyboard-layout (keyboard-layout "pl"))
 (host-name "aisaka")
 (users
  (cons*
   (user-account
    (name "marek")
    (comment "Marek Paśnikowski")
    (group "users")
    (home-directory "/home/marek")
    (supplementary-groups '("audio" "lp" "netdev" "video" "wheel")))
   %base-user-accounts))
 (packages
  (append
   (map
    (compose list specification->package+output)
    (list "guile-spec" "nss-certs" "trezord" "trezord-udev-rules"))
   %base-packages))
 (services
  (append
   (list
    (bluetooth-service #:auto-enable? #t)
    (service cups-service-type)
    (service openssh-service-type)
    (service gnome-desktop-service-type)
    (set-xorg-configuration (xorg-configuration (keyboard-layout keyboard-layout))))
   %desktop-services))
 (bootloader
  (bootloader-configuration
   (bootloader grub-bootloader)
   (targets (list "/dev/sda"))
   (keyboard-layout keyboard-layout)))
 (swap-devices (list (swap-space (target (uuid "73bed3f9-be07-40ad-a228-577cd24f2e1d")))))
 (mapped-devices
  (list
   (mapped-device
    (source
     (uuid "887ac37f-2919-41a0-a62a-e1ff5ea2d6cc"))
    (target "aisaka-root")
    (type luks-device-mapping))))
 (file-systems
  (cons*
   (file-system
    (mount-point "/")
    (device "/dev/mapper/aisaka-root")
    (type "btrfs")
    (dependencies mapped-devices))
   (file-system
    (mount-point "/boot")
    (device ( uuid "4f77b5fc-56ad-43ae-b6ec-e5adc8c48587" 'ext4))
    (type "ext4"))
   %base-file-systems)))