blob: fb39d496d5a9d2e3f971815bdb145872fcd37786 (
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
|
(define-module (aisaka-system-configuration)
#:use-module (gnu)
#:use-module (gnu packages cups)
#:use-module (gnu services cups)
#:use-module (gnu services desktop)
#:use-module (gnu services networking)
#:use-module (gnu services ssh)
#:use-module (gnu services xorg))
(define locale
"pl_PL.utf8")
(operating-system (locale locale)
(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 '("wheel"
"netdev"
"audio"
"video")))
%base-user-accounts))
(packages (append (map (compose list
specification->package+output)
'("guile-spec"
"netcat-openbsd"
"nss-certs"
"trezord"
"trezord-udev-rules"))
%base-packages))
(services (append `(,(service cups-service-type
(cups-configuration (extensions `(,cups-filters
,epson-inkjet-printer-escpr))
(web-interface? #t)))
,(service openssh-service-type)
,(service gnome-desktop-service-type)
,(service tor-service-type)
,(set-xorg-configuration (xorg-configuration (keyboard-layout keyboard-layout))))
%desktop-services))
(bootloader (bootloader-configuration (bootloader grub-bootloader)
(targets '("/dev/sda"))
(keyboard-layout keyboard-layout)))
(swap-devices `(,(swap-space (target (uuid "73bed3f9-be07-40ad-a228-577cd24f2e1d")))))
(mapped-devices `(,(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)))
|
