blob: 7071a3f21e0afd2d3ad18a629e6735a200577762 (
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
|
(define-module (jd host)
#:use-module (rde features base)
#:use-module (rde features system)
#:use-module (rde features wm)
#:use-module (gnu system file-systems)
#:use-module (gnu system mapped-devices)
#:use-module (ice-9 match))
(define-public %host-features
(list
(feature-host-info
#:host-name "berserker"
#:timezone "Europe/Warsaw")
(feature-file-systems
#:mapped-devices (list (mapped-device
(source (uuid
"1f2b1bf2-89fe-4e2c-8b40-c460572bb776"))
(target "crypthome")
(type luks-device-mapping)))
#:file-systems (list
(file-system
(mount-point "/")
(device (uuid
"c895e61e-1a5e-470f-b7aa-a502fc0b8596"
'ext4))
(type "ext4"))
(file-system
(mount-point "/boot/efi")
(device (uuid "9669-0171"
'fat32))
(type "vfat"))
(file-system
(mount-point "/home")
(device "/dev/mapper/crypthome")
(type "ext4")
(dependencies
(list (mapped-device
(source (uuid
"1f2b1bf2-89fe-4e2c-8b40-c460572bb776"))
(target "crypthome")
(type luks-device-mapping)))))))
(feature-kanshi
#:extra-config
`((profile laptop ((output eDP-1 enable)))
(profile docked ((output eDP-1 disable)
(output DP-3 enable)))))
(feature-hidpi)))
|
