blob: bea816a3f229a502cfcac6f65ad8dd9b808a3b2a (
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
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
|
(use-modules (gnu)
(guix packages)
(guix git-download)
(gnu system)
(gnu services)
(guix gexp)
(srfi srfi-1))
(use-package-modules
bootloaders certs
emacs
terminals
wm xdisorg shells admin
version-control
nss)
(use-service-modules desktop
base)
(define wlroots-0.15
(package
(inherit wlroots)
(version "0.15.1")
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://gitlab.freedesktop.org/wlroots/wlroots")
(commit version)))
(file-name (git-file-name "wlroots" version))
(sha256
(base32 "00s73nhi3sc48l426jdlqwpclg41kx1hv0yk4yxhbzw19gqpfm1h"))))))
(define-public hikari-patched
(package
(inherit hikari)
(inputs (modify-inputs (package-inputs hikari)
(replace "wlroots" wlroots-0.15)))))
(operating-system
(host-name "surltesh-echer")
(timezone "Europe/Paris")
(locale "en_US.utf8")
;; Use the UEFI variant of GRUB with the EFI System
;; Partition mounted on /boot/efi.
(bootloader (bootloader-configuration
(bootloader grub-bootloader)
(targets '("/dev/sda"))))
;; Assume the target root file system is labelled "my-root",
;; and the EFI System Partition has UUID 1234-ABCD.
(file-systems (append
(list (file-system
(device "/dev/sda1")
(mount-point "/")
(type "ext4")))
%base-file-systems))
(users (cons (user-account
(name "stuebinm")
(group "users")
(supplementary-groups '("wheel" "netdev"
"audio" "video"))
(shell (file-append fish "/bin/fish")))
%base-user-accounts))
;; Add a bunch of window managers; we can choose one at
;; the log-in screen with F1.
(packages (append (list
;; window managers
hikari-patched
emacs kitty fuzzel git
fish
;; for HTTPS access
nss-certs)
%base-packages))
;; Use the "desktop" services, which include the X11
;; log-in service, networking with NetworkManager, and more.
(services
(append (modify-services
%desktop-services
(delete mingetty-service-type))
(list
(service greetd-service-type
(greetd-configuration
(terminals
(list
(greetd-terminal-configuration
(terminal-vt "1")
(terminal-switch #t)
(default-session-command
(greetd-agreety-session
(command (file-append hikari-patched "/bin/hikari"))
(command-args '("-c" "hikari.conf"))
))
)))))
(service mingetty-service-type
(mingetty-configuration (tty "tty2")))
(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 mingetty-service-type
(mingetty-configuration (tty "tty7")))
(service mingetty-service-type
(mingetty-configuration (tty "tty8")))
)))
;; Allow resolution of '.local' host names with mDNS.
(name-service-switch %mdns-host-lookup-nss))
|
