Initialize the Literate System Configuration

1 files changed, 80 insertions, 0 deletions

diff --git a/aisaka.org b/aisaka.org
new file mode 100644
index 0000000..be6b7be
--- /dev/null
+++ b/aisaka.org
@@ -0,0 +1,80 @@
+#+TITLE: Configuration of the Aisaka computer -*- mode: org -*-
+#+STARTUP: overview
+
+* Imported configuration dump
+
+#+name: system-dump
+#+begin_src scheme :tangle system-configuration.scm
+(define-module (aisaka-system-configuration)
+  #:use-module (gnu)
+  #:use-module (gnu packages cups)
+  #:use-module (gnu packages finance)
+  #:use-module (gnu services cups)
+  #:use-module (gnu services desktop)
+  #:use-module (gnu services networking)
+  #:use-module (gnu services ssh)
+  #:use-module (gnu services xorg))
+
+(define keyboard-layout
+  (keyboard-layout "pl"))
+
+(define mapped-devices
+  `(,(mapped-device (source (uuid "887ac37f-2919-41a0-a62a-e1ff5ea2d6cc"))
+		    (target "aisaka-root")
+		    (type luks-device-mapping))))
+
+(operating-system
+ (locale "pl_PL.utf8")
+ (timezone "Europe/Warsaw")
+ (keyboard-layout keyboard-layout)
+ (host-name "aisaka")
+ (users (cons* (user-account (name "marek")
+			     (comment "Marek Paśnikowski")
+			     (group "users")
+			     (home-directory "/home/marek")
+			     (supplementary-groups '("audio"
+						     "netdev"
+						     "tor"
+						     "video"
+						     "wheel")))
+	       %base-user-accounts))
+ (packages (append (map (compose list
+				 specification->package+output)
+			'("netcat-openbsd"
+			  "nss-certs"
+			  "trezord"
+			  "trezord-udev-rules"))
+		   %base-packages))
+ (services (cons* (service cups-service-type
+			   (cups-configuration (extensions `(,cups-filters
+							     ,epson-inkjet-printer-escpr))
+					       (web-interface? #t)))
+		  (service openssh-service-type)
+		  (service tor-service-type
+			   (tor-configuration (config-file (local-file "torrc"))
+					      (control-socket? #t)))
+		  (udev-rules-service 'trezord trezord-udev-rules)
+		  (modify-services %desktop-services
+				   (elogind-service-type
+				    configuration =>
+				    (elogind-configuration
+				     (inherit configuration)
+				     (handle-lid-switch 'ignore)))
+				   (delete gdm-service-type))))
+ (bootloader (bootloader-configuration (bootloader grub-bootloader)
+				       (targets '("/dev/sda"))
+				       (keyboard-layout keyboard-layout)))
+ (swap-devices
+  `(,(swap-space (target (uuid "73bed3f9-be07-40ad-a228-577cd24f2e1d")))))
+ (mapped-devices mapped-devices)
+ (file-systems
+  (cons* (file-system
+	  (mount-point "/")
+	  (device "/dev/mapper/aisaka-root")
+	  (type "btrfs")
+	  (dependencies mapped-devices))
+	 (file-system (mount-point "/boot")
+		      (device (uuid "4f77b5fc-56ad-43ae-b6ec-e5adc8c48587"))
+		      (type "ext4"))
+	 %base-file-systems)))
+#+end_src