Kill history to remove past secrets

1 files changed, 655 insertions, 0 deletions

diff --git a/system-configuration.scm b/system-configuration.scm
new file mode 100644
index 0000000..19b35ff
--- /dev/null
+++ b/system-configuration.scm
@@ -0,0 +1,655 @@
+( add-to-load-path "/home/marek/Dokumenty/secrets" )
+
+( use-modules
+  ( marek )
+  ( gnu )
+  ( guix records )
+  ( ice-9 match )
+  ( nongnu packages linux )
+  ( nongnu system linux-initrd ) )
+
+( use-package-modules
+  admin certs kde-frameworks kde-multimedia kde-pim kde-plasma kde-utils mail
+  version-control )
+
+( use-service-modules
+  base certbot cgit desktop mail shepherd ssh version-control web xorg )
+
+( define-record-type*
+  <dkimproxy-out-signature-configuration>
+  dkimproxy-out-signature-configuration
+  make-dkimproxy-out-signature-configuration
+  dkimproxy-out-signature-configuration?
+  ( type
+    dkimproxy-out-signature-configuration-type
+    ( default 'dkim ) )
+  ( key
+    dkimproxy-out-signature-configuration-key
+    ( default #f ) )
+  ( algorithm
+    dkimproxy-out-signature-configuration-algorithm
+    ( default #f ) )
+  ( method
+    dkimproxy-out-signature-configuration-method
+    ( default #f) )
+  ( domain
+    dkimproxy-out-signature-configuration-domain
+    ( default #f ) )
+  ( identity
+    dkimproxy-out-signature-configuration-identity
+    ( default #f ) )
+  ( selector
+    dkimproxy-out-signature-configuration-selector
+    ( default #f ) ) )
+
+( define generate-dkimproxy-out-signature-configuration
+  ( match-lambda
+    ( ( $
+        <dkimproxy-out-signature-configuration>
+        type
+        key
+        algorithm
+        method
+        domain
+        identity
+        selector )
+      ( string-append
+        ( match type
+          ( 'dkim "dkim" )
+          ( 'domainkeys "domainkeys" ) )
+        ( if ( or key algorithm method domain identity selector )
+          ( string-append
+            "("
+            ( string-join
+              `( ,@ ( if key
+                      ( list ( string-append "key=" key ) )
+                      '() )
+                    ,@ ( if algorithm
+                         ( list ( string-append "a=" algorithm ) )
+                         '() )
+                    ,@ ( if method
+                         ( list ( string-append "c=" method ) )
+                         '() )
+                    ,@ ( if domain
+                         ( list ( string-append "d=" domain ) )
+                         '() )
+                    ,@ ( if identity
+                         ( list ( string-append "i=" identity ) )
+                         '() )
+                    ,@ ( if selector
+                         ( list ( string-append "s=" selector ) )
+                         '() ) )
+              "," )
+            ")" )
+          "" ) ) ) ) )
+
+( define-record-type*
+  <dkimproxy-out-configuration>
+  dkimproxy-out-configuration
+  make-dkimproxy-out-configuration
+  dkimproxy-out-configuration?
+  ( package
+    dkimproxy-out-configuration-package
+    ( default dkimproxy ) )
+  ( listen
+    dkimproxy-out-configuration-listen
+    ( default #f ) )
+  ( relay
+    dkimproxy-out-configuration-relay
+    ( default #f ) )
+  ( list-id-map
+    dkimproxy-out-configuration-list-id-map
+    ( default '() ) )
+  ( sender-map
+    dkimproxy-out-configuration-sender-map
+    ( default '() ) )
+  ( reject-error?
+    dkimproxy-out-configuration-sender-reject-error?
+    ( default #f ) )
+  ( config-file
+    dkimproxy-out-configuration-config-file
+    ( default #f ) ) )
+
+( define ( generate-map-file config filename )
+  ( apply
+    plain-file
+    filename
+    ( map ( lambda ( config )
+            ( match config
+              ( ( selector ( config ... ) )
+                ( string-append
+                  selector " "
+                  ( string-join
+                    ( map
+                      generate-dkimproxy-out-signature-configuration
+                      config )
+                    "\n") ) )
+              ( ( selector config )
+                ( string-append
+                  selector " "
+                  ( generate-dkimproxy-out-signature-configuration
+                    config ) ) ) ) )
+      config ) ) )
+
+( define dkimproxy-out-shepherd-service
+  ( match-lambda
+    ( ( $
+        <dkimproxy-out-configuration>
+        package
+        listen
+        relay
+        list-id-map
+        sender-map
+        reject-error?
+        config-file )
+      ( list
+        ( shepherd-service
+          ( provision '( dkimproxy-out ) )
+          ( requirement '( loopback ) )
+          ( documentation "Outbound DKIM proxy." )
+          ( start
+            ( let ( ( proxy ( file-append package "/bin/dkimproxy.out" ) ) )
+              ( if config-file
+                #~
+                ( make-forkexec-constructor
+                  ( list
+                    #$
+                    proxy
+                    ( string-append "--conf_file=" #$ config-file )
+                    "--pidfile=/var/run/dkimproxy.out.pid"
+                    "--user=dkimproxy" "--group=dkimproxy" )
+                  #:pid-file "/var/run/dkimproxy.out.pid" )
+                ( let*
+                    ( ( first-signature
+                        ( match sender-map
+                          ( ( ( sender ( signature _ ... ) ) _ ... ) signature )
+                          ( ( ( sender signature ) _ ... ) signature ) ) )
+                      ( domains
+                        ( apply append
+                          ( map
+                            ( lambda ( sender )
+                              ( match sender
+                                ( ( ( domains ... ) config ) domains )
+                                ( ( domain config ) domain ) ) )
+                            sender-map ) ) )
+                      ( sender-map
+                        ( generate-map-file sender-map "sender.map" ) )
+                      ( listid-map
+                        ( if ( null? list-id-map )
+                          #f
+                          ( generate-map-file list-id-map "listid.map" ) ) )
+                      ( keyfile
+                        ( dkimproxy-out-signature-configuration-key
+                          first-signature ) )
+                      ( selector
+                        ( dkimproxy-out-signature-configuration-selector
+                          first-signature ) )
+                      ( method
+                        ( dkimproxy-out-signature-configuration-method
+                          first-signature ) )
+                      ( signature
+                        ( match ( dkimproxy-out-signature-configuration-type
+                                  first-signature )
+                          ( 'dkim "dkim" )
+                          ( 'domainkeys "domainkeys" ) ) ) )
+                  #~
+                  ( make-forkexec-constructor
+                    `( ,#$
+                       proxy
+                       "--pidfile=/var/run/dkimproxy.out.pid"
+                       "--user=dkimproxy" "--group=dkimproxy"
+                       ,( string-append "--listen=" #$ listen )
+                       ,( string-append "--relay=" #$ relay )
+                       ,( string-append "--sender_map=" #$ sender-map )
+                       ,@ ( if #$ listid-map
+                            ( list
+                              ( string-append "--listid_map=" #$ listid-map ) )
+                            '() )
+                       ,( string-append "--domain=" #$ domains )
+                       ,( string-append "--keyfile=" #$ keyfile )
+                       ,( string-append "--selector=" #$ selector )
+                       ,@ ( if #$ method
+                            ( list
+                              ( string-append "--method=" #$ method ) )
+                            '() )
+                       ,@ ( if #$ reject-error?
+                            '( "--reject_error" )
+                            '() )
+                       ,@ ( if #$ signature
+                            ( list
+                              ( string-append "--signature=" #$ signature ) )
+                            '() ) ) ) ) ) ) )
+          ( stop #~ ( make-kill-destructor ) ) ) ) ) ) )
+
+( define %dkimproxy-accounts
+  ( list ( user-group
+           ( name "dkimproxy" )
+           ( system? #t ) )
+    ( user-account
+      ( name "dkimproxy" )
+      ( group "dkimproxy" )
+      ( system? #t )
+      ( comment "Dkimproxy user" )
+      ( home-directory "/var/empty" )
+      ( shell ( file-append shadow "/sbin/nologin" ) ) ) ) )
+
+( define dkimproxy-out-service-type
+  ( service-type
+    ( name 'dkimproxy-out )
+    ( description "stub" )
+    ( extensions
+      ( list
+        ( service-extension
+          account-service-type
+          ( const %dkimproxy-accounts ) )
+        ( service-extension
+          shepherd-root-service-type
+          dkimproxy-out-shepherd-service ) ) ) ) )
+
+( define aliases-file
+  ( mixed-text-file "aliases" "@ vmail\n" ) )
+
+( define relays-file
+  ( mixed-text-file
+    "other-relays"
+    "mx1.forwardemail.net\n"
+    "mx2.forwardemail.net\n" ) )
+
+( define blacklist-file
+  ( mixed-text-file
+    "blacklist"
+    "@yahoo.com.cn\n"
+    "@qq.com\n"
+    "@fnac.com\n"
+    "@just-aero.us\n"
+    "@elitetorrent1.com\n" ) )
+
+( define ( opensmtpd-conf interface domain )
+  ( mixed-text-file
+    "smtpd.conf"
+    "# This is the smtpd server system-wide configuration file.\n"
+    "# See smtpd.conf(5) for more information.\n"
+    "\n"
+    "# My TLS certificate and key\n"
+    "pki marekpasnikowski.pl cert \"/etc/letsencrypt/live/" domain "/fullchain.pem\"\n"
+    "pki marekpasnikowski.pl key \"/etc/letsencrypt/live/" domain "/privkey.pem\"\n"
+    "\n"
+    "# Edit this file to add add more virtual users (passwords are read in that file\n"
+    "# instead of /etc/passwd\n"
+    "table passwd file:" smtpd-keys "\n"
+    "\n"
+    "table other-relays file:" relays-file "\n"
+    "table blacklist file:" blacklist-file "\n"
+    "\n"
+    "# A simple spam filter\n"
+    "# filter spam-filter phase mail-from match mail-from <blacklist> reject \"555\"\n"
+    "\n"
+    "# port 25 is used only for receiving from external servers, and they may start\n"
+    "# a TLS session if they want.\n"
+    "listen on " interface " port 25 # tls pki marekpasnikowski.pl filter spam-filter\n"
+    "\n"
+    "# For sending messages from outside of this server, you need to authenticate and\n"
+    "# use TLS.\n"
+    "listen on " interface " port 465 smtps pki marekpasnikowski.pl mask-src auth <passwd>\n"
+    "\n"
+    "# Localhost is used by the .onion, so we use the same configuration for \n"
+    "# local connections."
+    "listen on lo port 25 tls pki marekpasnikowski.pl filter spam-filter\n"
+    "# Since incoming connection uses tor, we don't need tls, but still require\n"
+    "# authentication; we're not a relay\n"
+    "# listen on lo port 587 tls pki marekpasnikowski.pl mask-src auth <passwd>\n"
+    "\n"
+    "# DKIMproxy\n"
+    "listen on lo port 10028 tag DKIM_OUT\n"
+    "\n"
+    "# The socket is considered an internal connection\n"
+    "listen on socket mask-src\n"
+    "\n"
+    "# Maybe it'll work better if we connect to gmail only with v4?\n"
+    "# limit mta for domain gmail.com inet4\n"
+    "\n"
+    "# TODO: manage these files directly in the configuration?\n"
+    "# If you edit the file, you have to run \"smtpctl update table aliases\"\n"
+    "table aliases file:" aliases-file "\n"
+    "\n"
+    "# We define some actions\n"
+    "action receive lmtp \"/var/run/dovecot/lmtp\" rcpt-to virtual <aliases>\n"
+    "action outbound relay helo \"" domain "\"\n"
+    "action godkim relay host smtp://127.0.0.1:10027\n"
+    "\n"
+    "# We accept to relay any mail from authenticated users\n"
+    "match for any from any auth action godkim\n"
+    "match tag DKIM_OUT for any action outbound\n"
+    "\n"
+    "# Then, we reject on some other conditions:\n"
+    "\n"
+    "# If the mail tries to impersonate us\n"
+    "# match !from src <other-relays> mail-from \"@marekpasnikowski.pl\" for any reject\n"
+    "\n"
+    "# If it comes from someone on the blacklist\n"
+    "match from any mail-from <blacklist> reject\n"
+    "\n"
+    "# Finally, if we accept incoming messages\n"
+    "match from any for domain \"marekpasnikowski.pl\" action receive\n"
+    "match for local action receive\n" ) )
+
+( define ( wip-dkim-service domain )
+  ( service dkimproxy-out-service-type
+    ( dkimproxy-out-configuration
+      ( listen "127.0.0.1:10027" )
+      ( relay "127.0.0.1:10028" )
+      ( sender-map
+        `( ( ,domain
+             ( ,( dkimproxy-out-signature-configuration
+                  ( algorithm "rsa-sha256" )
+                  ( key "/etc/mail/dkim/marekpasnikowski.pl.key" )
+                  ( method "relaxed" )
+                  ( selector "dkim" )
+                  ( type 'dkim ) )
+               ,( dkimproxy-out-signature-configuration
+                  ( method "mofws" )
+                  ( type 'domainkeys ) ) ) ) ) ) ) ) )
+
+( define ( wip-imap-service domain )
+  ( service dovecot-service-type
+    ( dovecot-configuration
+      ( disable-plaintext-auth? #t )
+      ( mail-location "maildir:~/Maildir" )
+      ( namespaces
+        ( list
+          ( namespace-configuration
+            ( name "inbox" )
+            ( inbox? #t )
+            ( mailboxes
+              ( list
+                ( mailbox-configuration
+                  ( name "Archive" )
+                  ( auto "subscribe" )
+                  ( special-use ( list "\\Archive" ) ) )
+                ( mailbox-configuration
+                  ( name "Drafts" )
+                  ( auto "subscribe" )
+                  ( special-use ( list "\\Drafts" ) ) )
+                ( mailbox-configuration
+                  ( name "Junk" )
+                  ( auto "subscribe" )
+                  ( special-use ( list "\\Junk" ) ) )
+                ( mailbox-configuration
+                  ( name "Sent" )
+                  ( auto "subscribe" )
+                  ( special-use ( list "\\Sent" ) ) )
+                ( mailbox-configuration
+                  ( name "Trash" )
+                  ( auto "subscribe" )
+                  ( special-use ( list "\\Trash" ) ) ) ) ) ) ) )
+      ( passdbs
+        ( list
+          ( passdb-configuration
+            ( args ( list "username_format=%n" "/etc/dovecot-passwd" ) )
+            ( driver "passwd-file" ) ) ) )
+      ( protocols
+        ( list
+          ( protocol-configuration ( name "imap" ) )
+          ( protocol-configuration ( name "lmtp" ) ) ) )
+      ( services
+        ( list
+          ( service-configuration
+            ( kind "lmtp" )
+            ( listeners
+              ( list
+                ( inet-listener-configuration
+                  ( address "192.168.10.2 127.0.0.1" )
+                  ( port 24 )
+                  ( protocol "lmtp" ) )
+                ( unix-listener-configuration
+                  ( group "vmail" )
+                  ( mode "0666" )
+                  ( path "lmtp" )
+                  ( user "vmail" ) ) ) ) )
+          ( service-configuration
+            ( kind "imap-login" )
+            ( listeners
+              ( list
+                ( inet-listener-configuration
+                  ( address "192.168.10.2" )
+                  ( port 993 )
+                  ( protocol "imaps" )
+                  ;; How does the boolean type map to
+                  ;; the three configuration options?
+                  ;; ( ssl? "required" )
+                  ) ) ) ) ) )
+      ( ssl? "required" )
+      ( ssl-cert
+        ( string-append
+          "</etc/letsencrypt/live/"
+          domain
+          "/fullchain.pem" ) )
+      ( ssl-key
+        ( string-append
+          "</etc/letsencrypt/live/"
+          domain
+          "/privkey.pem" ) )
+      ( ssl-min-protocol "TLSv1.2" )
+      ( userdbs
+        ( list
+          ( userdb-configuration
+            ( args ( list "gid=vmail" "home=/home/vmail/%n" "uid=vmail" ) )
+            ( driver "static" ) ) ) ) ) ) )
+
+( define ( wip-smtp-service interface domain )
+  ( service opensmtpd-service-type
+    ( opensmtpd-configuration
+      ( config-file ( opensmtpd-conf interface domain ) ) ) ) )
+
+( define* ( wip-mail-services #:key interface domain )
+  ( list
+    ( wip-dkim-service domain )
+    ( wip-imap-service domain )
+    ( wip-smtp-service interface domain ) ) )
+
+( operating-system
+  ( bootloader
+    ( bootloader-configuration
+      ( bootloader grub-efi-bootloader )
+      ( keyboard-layout ( keyboard-layout "pl" ) )
+      ( targets ( list "/boot/efi" ) ) ) )
+  ( mapped-devices
+    ( list
+      ( mapped-device
+        ( source "/dev/sda2" )
+        ( target "izumi" )
+        ( type luks-device-mapping ) ) ) )
+  ( file-systems
+    ( append
+      %base-file-systems
+      ( list
+        ( file-system
+          ( device "/dev/sda1" )
+          ( mount-point "/boot/efi" )
+          ( type "vfat" ) )
+        ( file-system
+          ( dependencies mapped-devices )
+          ( device "/dev/mapper/izumi" )
+          ( mount-point "/" )
+          ( type "xfs" ) ) ) ) )
+  ( firmware ( list linux-firmware ) )
+  ( groups
+    ( append
+      %base-groups
+      ( list
+        ( user-group
+          ( name "vmail" )
+          ( system? #t ) )) ) )
+  ( host-name "izumi" )
+  ( initrd microcode-initrd )
+  ( kernel linux )
+  ( keyboard-layout ( keyboard-layout "pl" ) )
+  ( locale "pl_PL.utf8" )
+  ( services
+    ( append
+      ( modify-services
+        %desktop-services
+        ( elogind-service-type
+          configuration =>
+          ( elogind-configuration
+            ( inherit configuration )
+            ( handle-lid-switch 'ignore )
+            ( handle-lid-switch-docked 'ignore )
+            ( handle-lid-switch-external-power 'ignore ) ) )
+        ( gdm-service-type
+          configuration =>
+          ( gdm-configuration
+            ( inherit configuration )
+            ( auto-suspend? #f )
+            ( wayland? #t ) ) )
+        ( guix-service-type
+          configuration =>
+          ( let*
+              ( ( non-guix.pub
+                  ( string-append
+                    "( public-key ( ecc ( curve Ed25519 )"
+                    "( q #C1FD53E5D4CE971933EC50C9F307AE2171A2D3B52C804642A7A35F84F3A4EA98# ) ) )" ) )
+                ( authorized-keys
+                  ( append
+                    %default-authorized-guix-keys
+                    ( list ( plain-file "non-guix.pub" non-guix.pub ) ) ) )
+                ( extra-options
+                  ( list "--gc-keep-derivations=yes" "--gc-keep-outputs=yes" ) )
+                ( substitute-urls
+                  ( append
+                    %default-substitute-urls
+                    ( list "https://substitutes.nonguix.org" ) ) ) )
+            ( guix-configuration
+              ( inherit configuration )
+              ( authorized-keys authorized-keys )
+              ( extra-options extra-options )
+              ( substitute-urls substitute-urls ) ) ) ) )
+      ( wip-mail-services
+        #:interface "enp1s0"
+        #:domain "marekpasnikowski.pl" )
+      ( list
+        ( service certbot-service-type
+          ( certbot-configuration
+            ( certificates
+              ( list
+                ( certificate-configuration
+                  ( deploy-hook
+                    ( program-file
+                      "nginx-deploy-hook"
+                      #~
+                      ( let
+                          ( ( pid ( call-with-input-file "/var/run/nginx/pid" read ) ) )
+                        ( kill pid SIGHUP ) ) ) )
+                  ( domains
+                    ( list
+                      "marekpasnikowski.pl"
+                      "git.marekpasnikowski.pl" ) ) ) ) )
+            ( email certbot-mail )
+            ( webroot "/srv/www/marek/marekpasnikowski.pl" ) ) )
+        ( service cgit-service-type
+          ( cgit-configuration
+            ( nginx
+              ( list
+                ( nginx-server-configuration
+                  ( locations
+                    ( list
+                      ( nginx-location-configuration
+                        ( body
+                          ( list
+                            "fastcgi_param HTTP_HOST $server_name ;"
+                            "fastcgi_param PATH_INFO $uri ;"
+                            "fastcgi_param QUERY_STRING $args ;"
+                            "fastcgi_param SCRIPT_FILENAME $document_root/lib/cgit/cgit.cgi ;"
+                            "fastcgi_pass 127.0.0.1:9000 ;" ) )
+                        ( uri "@cgit" ) )
+                      ( nginx-location-configuration
+                        ( body ( list "root /srv/www/marek/marekpasnikowski.pl/ ;" ) )
+                        ( uri "/.well-known" ) ) ) )
+                  ( listen ( list "192.168.10.2:443 ssl" ) )
+                  ( root cgit )
+                  ( server-name ( list "git.marekpasnikowski.pl" ) )
+                  ( ssl-certificate
+                    "/etc/letsencrypt/live/marekpasnikowski.pl/fullchain.pem" )
+                  ( ssl-certificate-key
+                    "/etc/letsencrypt/live/marekpasnikowski.pl/privkey.pem" )
+                  ( try-files ( list "$uri" "@cgit" ) ) ) ) )
+            ( repositories
+              ( list
+                ( repository-cgit-configuration
+                  ( hide? #t )
+                  ( path "/srv/git/marek/packages" ) ) ) )
+            ( repository-directory "/srv/git/marek" ) ) )
+        ( service git-daemon-service-type )
+        ( service gitolite-service-type
+          ( gitolite-configuration
+            ( admin-pubkey gitolite-keys ) ) )
+        ( service gnome-desktop-service-type )
+        ( service nginx-service-type
+          ( nginx-configuration
+            ( server-blocks
+              ( list
+                ( nginx-server-configuration
+                  ( locations
+                    ( list
+                      ( nginx-location-configuration
+                        ( uri "/.well-known" )
+                        ( body
+                          ( list "root /srv/www/marek/marekpasnikowski.pl ;" ) ) ) ) )
+                  ( listen ( list "192.168.10.2:443 ssl" ) )
+                  ( root "/srv/www/marek/marekpasnikowski.pl" )
+                  ( server-name ( list "marekpasnikowski.pl" ) )
+                  ( ssl-certificate
+                    "/etc/letsencrypt/live/marekpasnikowski.pl/fullchain.pem" )
+                  ( ssl-certificate-key
+                    "/etc/letsencrypt/live/marekpasnikowski.pl/privkey.pem" ) ) ) ) ) )
+        ( service openssh-service-type )
+        ( simple-service 'base-profile profile-service-type
+          ( append %base-packages
+            ( list
+              plasma plasma-desktop plasma-framework plasma-integration
+              plasma-nano plasma-nm plasma-pa plasma-pass plasma-vault
+              plasma-welcome plasma-workspace plasma-bigscreen plasma-mobile
+              plasma-phonebook plasma-browser-integration
+              plasma-mobile-settings plasma-mobile-sounds
+              plasma-wayland-protocols plasma-active-window-control
+              plasma-phone-components plasma-redshift-control plasma-disks
+              plasma-firewall plasma-systemmonitor breeze breeze-gtk bluedevil
+              breeze-icons kdeplasma-addons keysmith kmenuedit krunner kwin
+              latte-dock plasma-workspace-wallpapers polkit-kde-agent
+              system-settings calindori discover elisa kpipewire ksysguard
+              attica kaccounts-integration kde-frameworkintegration kmail
+              kscreen akonadi akonadi-contacts akonadi-mime akonadi-notes
+              akonadi-search akonadi-calendar kdepim-runtime kalendar ) ) )
+        ( simple-service
+          'nss-profile
+          profile-service-type
+          ( list nss-certs ) )
+        ( simple-service
+          'etc-files
+          etc-service-type
+          ( list
+            `( "mailname" ,( plain-file "mailname" "marekpasnikowski.pl\n" ) )
+            `( "dovecot-passwd" ,dovecot-keys ) ) ) ) ) )
+  ( sudoers-file ( local-file "system-files/sudoers" ) )
+  ( swap-devices
+    ( list
+      ( swap-space
+        ( target "/dev/sda3" ) ) ) )
+  ( timezone "Europe/Warsaw" )
+  ( users
+    ( append
+      %base-user-accounts
+      ( list
+        ( user-account
+          ( comment "vmail" )
+          ( group "vmail" )
+          ( home-directory "/home/vmail" )
+          ( name "vmail" )
+          ( system? #t ) )
+        ( user-account
+          ( comment "Marek Paśnikowski" )
+          ( group "users" )
+          ( home-directory "/home/marek" )
+          ( name "marek" )
+          ( supplementary-groups
+            ( list "audio" "netdev" "video" "wheel" ) ) ) ) ) ) )