summaryrefslogtreecommitdiff
path: root/systems/ayase.scm
blob: 42f29f5a0bfe4f8c02e81485e7338143b8c2108d (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
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
(define-module (systems ayase)
  ;; uuid
  #:use-module (gnu)

  ;; service
  #:use-module (gnu services)

  ;; guix-home-service-type
  #:use-module (gnu services guix)

  ;; tor-service-type
  #:use-module (gnu services networking)

  ;; openssh-service-type
  #:use-module (gnu services ssh)

  ;;#:use-module (gnu services xorg)

  ;; uid1000-account
  ;; uid1000-home-environment
  ;; uid1000-name
  #:use-module (users id1000)

  ;; linux
  ;; linux-firmware
  #:use-module (nongnu packages linux)

  ;; microcode-initrd
  #:use-module (nongnu system linux-initrd)

  ;; %sudoers-specification*
  #:use-module (suweren commons sudoers)

  ;; %distribution-services
  #:use-module (suweren services))

;; string
(define host-name*
  "ayase")

;; (record user-account)
(define users*
  (let* ((system-groups (list "wheel"))

	 (supplementary-groups* (append system-groups)))
    (list (uid1000-account supplementary-groups*))))

;; record operating-system
(define-public operating-system*
  (let* ((bootloader-targets (list "/boot/efi"))
	 (efi-filesystem-id (uuid "B4FB-CBD9" 'fat32))
	 (home-environments `((,uid1000-name ,(uid1000-home-environment host-name*))))
	 (root-filesystem-id (uuid "615a98cd-a632-4ee5-a6f4-e5ebcaa6fb8c"))

	 (efi-partition (file-system (mount-point "/boot/efi")
				     (device efi-filesystem-id)
				     (type "vfat")))
	 (home-services (service guix-home-service-type
				 home-environments))
	 (root-partition (file-system (mount-point "/")
				      (device root-filesystem-id)
				      (type "ext4")))
	 (swap-space-id (uuid "f1c1b2ab-5c11-4708-80c2-d5ac99ff35cf"))

	 (ayase-file-systems (list root-partition
				   efi-partition))
	 (home-services (list home-services))
	 (keyboard-layout (keyboard-layout "pl"))
	 (main-swap (swap-space (target swap-space-id)))
	 (system-services (list (service openssh-service-type)
				(service tor-service-type)))

	 (bootloader (bootloader-configuration (bootloader grub-efi-bootloader)
					       (targets bootloader-targets)
					       (keyboard-layout keyboard-layout)))
	 (file-systems (append %base-file-systems
			       ;; %distribution-file-systems
			       ayase-file-systems))
	 (firmware (list linux-firmware))
	 (packages (append %base-packages
			   ;; %distribution-packages
			   ;; system-packages
			   ))
	 (services (append %distribution-services
			   home-services
			   system-services))
	 (swap-devices (list main-swap))
	 (users (append %base-user-accounts
			users*)))
    (operating-system (kernel linux)
		      (bootloader bootloader)
                      (keyboard-layout keyboard-layout)
		      (initrd microcode-initrd)
		      (firmware firmware)
                      (host-name host-name*)
                      (file-systems file-systems)
                      (swap-devices swap-devices)
                      (users users)
                      (timezone "Europe/Warsaw")
                      (locale "pl_PL.utf8")
                      (services services)
		      (sudoers-file %sudoers-specification*))))

operating-system*