system-configuration/systems/hermes.scm

hermes.scm

1
;;; Tyreunom's system administration and configuration tools.
2
;;;
3
;;; Copyright © 2019 Julien Lepiller <julien@lepiller.eu>
4
;;;
5
;;; This program is free software: you can redistribute it and/or modify
6
;;; it under the terms of the GNU General Public License as published by
7
;;; the Free Software Foundation, either version 3 of the License, or
8
;;; (at your option) any later version.
9
;;;
10
;;; This program is distributed in the hope that it will be useful,
11
;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
12
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13
;;; GNU General Public License for more details.
14
;;;
15
;;; You should have received a copy of the GNU General Public License
16
;;; along with this program.  If not, see <http://www.gnu.org/licenses/>.
17
18
(use-modules (gnu))
19
(use-modules (gnu system))
20
(use-modules (gnu bootloader) (gnu bootloader grub))
21
(use-modules (gnu services dns))
22
(use-modules (gnu services web))
23
(use-modules (config certbot) (config dns) (config mail) (config network) (config os)
24
	     (config web))
25
26
27
;; NOTE: this config contains out-of band files.
28
;; To (re-)generate /etc/mail/dkim/private.key, run:
29
;; openssl genrsa -out /etc/mail/dkim/private.key 2048
30
;; openssl rsa -in /etc/mail/dkim/private.key -pubout -out /etc/mail/dkim/public.key
31
;; chmod 440 /etc/mail/dkim/private.key
32
;;
33
;; To (re-)generate /etc/knot/secrets.conf, run:
34
;; keymgt -t lepiller-key > /etc/knot/secrets.conf
35
36
(define lepiller-policy
37
  (append
38
    web-base-policy
39
    '("set $first_language $http_accept_language;"
40
      "if ($http_accept_language ~* '(en|eo|fr)') {"
41
      "    set $first_language $1;"
42
      "}"
43
      "set $language_suffix $first_language;"
44
      "if ($cookie_language) {"
45
      "    set $language_suffix $cookie_language;"
46
      "}"
47
      "if ($uri ~ \\.en.html$) {"
48
      "    set $language_suffix 'en';"
49
      "}"
50
      "if ($uri ~ \\.eo.html$) {"
51
      "    set $language_suffix 'eo';"
52
      "}"
53
      "if ($uri ~ \\.fr.html$) {"
54
      "    set $language_suffix 'fr';"
55
      "}"
56
      "if ($uri ~ (.*).html) {"
57
      "    set $my_uri $1.$language_suffix.html;"
58
      "}")
59
    (web-html-policy
60
      '("    add_header Set-Cookie 'language=$language_suffix;HttpOnly;Secure';"
61
        "    try_files $my_uri $uri $uri/ =404;"))
62
    '("error_page 404 /404;")))
63
64
(operating-system
65
  (inherit (tyreunom-os "hermes"))
66
  (bootloader
67
    (bootloader-configuration
68
      (target "/dev/sda")
69
      (bootloader grub-bootloader)))
70
  (file-systems (cons (file-system
71
                        (mount-point "/")
72
                        (device (uuid "27798665-5606-4fde-8da8-cc371e603892"))
73
                        (type "ext4"))
74
                      %base-file-systems))
75
  (services
76
    (append
77
      (list
78
        hermes-network-service
79
        (service nginx-service-type)
80
        (service knot-service-type
81
                 (knot-configuration
82
                   (includes '("/etc/knot/secrets.conf"))
83
                   (acls (list slave-acl))
84
                   (remotes (list ene))
85
                   (zones (list lepiller-slave-zone
86
                                ipv4-reverse-master-zone
87
                                ipv6-reverse-master-zone))))
88
        (certbot-service `(("lepiller.eu" "www.lepiller.eu" "smtp.lepiller.eu")))
89
        (simple-service 'lepiller-http-server nginx-service-type
90
          (list (nginx-server-configuration
91
                  (ssl-certificate "/etc/letsencrypt/live/lepiller.eu/fullchain.pem")
92
                  (ssl-certificate-key "/etc/letsencrypt/live/lepiller.eu/privkey.pem")
93
                  (listen '("443 ssl http2" "[::]:443 ssl http2"))
94
                  (server-name '("lepiller.eu" "www.lepiller.eu"))
95
                  (root "/srv/http/lepiller/public")
96
                  (index '("index.$language_suffix.html" "index.html"))
97
                  (try-files '("$uri.$language_suffix.html" "$uri" "$uri/" "=404"))
98
                  (raw-content lepiller-policy))))
99
        (simple-service 'default-http-server nginx-service-type
100
          (list (nginx-server-configuration
101
                  (ssl-certificate "/etc/letsencrypt/live/lepiller.eu/fullchain.pem")
102
                  (ssl-certificate-key "/etc/letsencrypt/live/lepiller.eu/privkey.pem")
103
                  (listen '("443 ssl http2" "[::]:443 ssl http2"))
104
                  (server-name '(default))
105
		  (root "/srv/http/default")
106
		  (raw-content default-web-policy)))))
107
      (lepiller-mail-services
108
        #:interface "ens18"
109
        #:domain "lepiller.eu")
110
      (server-services "hermes"))))
111