summaryrefslogtreecommitdiff
path: root/takemi.scm
blob: e2de19f6933bd796c880f43f9c7f7af38d4e96e1 (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
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
(use-modules (gnu))
(use-service-modules certbot cgit networking ssh version-control web)

(define letsencrypt-cert
  "/etc/letsencrypt/live/dthompson.us/fullchain.pem")
(define letsencrypt-cert-key
  "/etc/letsencrypt/live/dthompson.us/privkey.pem")
(define dave-pub-key (local-file "dave.pub"))

(define takemi-os
  (operating-system
   (locale "en_US.utf8")
   (timezone "America/New_York")
   (keyboard-layout (keyboard-layout "us"))
   (host-name "takemi")
   (users (cons* (user-account
                  (name "dave")
                  (comment "David Thompson")
                  (group "users")
                  (home-directory "/home/dave")
                  (supplementary-groups
                   '("wheel" "netdev")))
                 (user-account
                  (name "publish")
                  (comment "Web file publisher")
                  (group "publish")
                  (home-directory "/var/www")
                  (system? #t)
                  (create-home-directory? #f))
                 %base-user-accounts))
   (groups (cons* (user-group
                   (name "publish")
                   (system? #t))
                  %base-groups))
   (sudoers-file
    (plain-file "sudoers"
                (string-append (plain-file-content %sudoers-specification)
                               ;; 'guix deploy' requires no password
                               ;; sudo capability.
                               "dave ALL = NOPASSWD: ALL\n")))
   (packages
    (append (map specification->package '("emacs" "nss-certs" "rsync"))
            %base-packages))
   (services
    (append
     (list (service dhcp-client-service-type)
           (service openssh-service-type
                    (openssh-configuration
                     (password-authentication? #f)
                     (authorized-keys
                      `(("dave" ,dave-pub-key)
                        ("publish" ,dave-pub-key)))))
           (service gitolite-service-type
                    (gitolite-configuration
                     (admin-pubkey dave-pub-key)
                     (rc-file (gitolite-rc-file
                               ;; Grant read access to git group so
                               ;; cgit will work.
                               (umask #o0027)
                               (git-config-keys "gitweb\\..*")))))
           (service certbot-service-type
                    (certbot-configuration
                     (email "dthompson2@worcester.edu")
                     (certificates
                      (list
                       (certificate-configuration
                        (domains '("dthompson.us"
                                   "www.dthompson.us"
                                   "git.dthompson.us"
                                   "files.dthompson.us"))
                        ;; Send SIGHUP signal to nginx to trigger a
                        ;; configuration reload, thus loading the
                        ;; updated certificates.
                        (deploy-hook (program-file
                                      "nginx-deploy-hook"
                                      #~(let ((pid (call-with-input-file
                                                       "/var/run/nginx/pid"
                                                     read)))
                                          (kill pid SIGHUP)))))))
                     (webroot "/var/www/certbot")))
           (service nginx-service-type
                    (nginx-configuration
                     (server-blocks
                      (list (nginx-server-configuration
                             (listen '("443 ssl"))
                             (server-name '("www.dthompson.us"))
                             (root "/var/www/blog")
                             (ssl-certificate letsencrypt-cert)
                             (ssl-certificate-key letsencrypt-cert-key))
                            (nginx-server-configuration
                             (listen '("443 ssl"))
                             (server-name '("files.dthompson.us"))
                             (root "/var/www/files")
                             (raw-content '("autoindex on;"))
                             (ssl-certificate letsencrypt-cert)
                             (ssl-certificate-key letsencrypt-cert-key))))))
           (service fcgiwrap-service-type
                    (fcgiwrap-configuration
                     ;; Use git group for read-only access to gitolite
                     ;; repos.
                     (group "git")))
           (let ((cgit (specification->package "cgit")))
             (service cgit-service-type
                      (cgit-configuration
                       (project-list "/var/lib/gitolite/projects.list")
                       (repository-directory "/var/lib/gitolite/repositories")
                       (root-desc "all i wanted was a pepsi")
                       (enable-git-config? #t)
                       (enable-index-links? #t)
                       (enable-index-owner? #f)
                       (enable-commit-graph? #t)
                       (enable-log-filecount? #t)
                       (enable-log-linecount? #t)
                       (clone-url '("https://git.dthompson.us/$CGIT_REPO_URL"))
                       ;; Is there a way to avoid this wrapper script?
                       (source-filter (program-file
                                       "cgit-syntax-highlight"
                                       #~(apply execl
                                                (string-append #$cgit "/lib/cgit/filters/syntax-highlighting.py")
                                                (command-line))))
                       (nginx
                        (list (nginx-server-configuration
                               (listen '("443 ssl"))
                               (server-name '("git.dthompson.us"))
                               (root cgit)
                               (locations
                                (list
                                 (nginx-location-configuration
                                  (uri "@cgit")
                                  (body '("fastcgi_param SCRIPT_FILENAME $document_root/lib/cgit/cgit.cgi;"
                                          "fastcgi_param PATH_INFO $uri;"
                                          "fastcgi_param QUERY_STRING $args;"
                                          "fastcgi_param HTTP_HOST $server_name;"
                                          "fastcgi_pass 127.0.0.1:9000;")))))
                               (try-files (list "$uri" "@cgit"))
                               (ssl-certificate letsencrypt-cert)
                               (ssl-certificate-key letsencrypt-cert-key))))))))
     %base-services))
   (bootloader
    (bootloader-configuration
     (bootloader grub-bootloader)
     (target "/dev/vda")
     (keyboard-layout keyboard-layout)))
   (initrd-modules
    (append '("virtio_scsi") %base-initrd-modules))
   (swap-devices (list "/dev/vda2"))
   (file-systems
    (cons* (file-system
            (mount-point "/")
            (device
             (uuid "f99d3ff5-57ea-4b20-bca7-bc2d58b4c364"
                   'ext4))
            (type "ext4"))
           %base-file-systems))))

(define takemi-host-key
  "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIOrptBAMgs8dGDerBkcmZQ2W/0nEXtOBCl8nLlEwjKdI")

(list (machine
       (operating-system takemi-os)
       (environment managed-host-environment-type)
       (configuration (machine-ssh-configuration
                       (host-name "dthompson.us")
                       (system "x86_64-linux")
                       (user "dave")
                       (host-key takemi-host-key)))))