From dff381b4a20de34aec44344722b5938124820c81 Mon Sep 17 00:00:00 2001
From: "Collin J. Doering" <collin@rekahsoft.ca>
Date: Sun, 9 Jun 2019 09:57:41 -0400
Subject: [PATCH] Add current guix vm configuration

Note: this configuration requires manual intervention at grub. Namely,
the grub console must be access and `insmod all_video` run so that the
appropriate video drivers are available. Additionally, the grub menu
item must be edited changing all paths to be prefixed with `/@` (that
are used as paths to files by grub but not by the kernel itself - that
is don't change any paths in arguments to the kernel).
---
 config-btrfs.scm | 92 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 92 insertions(+)
 create mode 100644 config-btrfs.scm

diff --git a/config-btrfs.scm b/config-btrfs.scm
new file mode 100644
index 0000000..215b536
--- /dev/null
+++ b/config-btrfs.scm
@@ -0,0 +1,92 @@
+(use-modules
+ (gnu)
+ (gnu system nss)
+ (gnu packages databases)
+ (gnu packages xorg)
+ (gnu packages ssh)
+ (gnu packages emacs-xyz)
+ (gnu packages lisp)
+ (gnu packages shells)
+ (gnu packages xdisorg)
+ (gnu packages graphviz))
+(use-service-modules desktop)
+(use-package-modules bootloaders certs emacs ratpoison suckless wm tmux)
+
+(operating-system
+ (host-name "rekahsoft-guix")
+ (timezone "America/Toronto")
+ (locale "en_US.utf8")
+
+ ;; Use the UEFI variant of GRUB with the EFI System
+ ;; Partition mounted on /boot/efi.
+ (bootloader (bootloader-configuration
+              (bootloader grub-efi-bootloader)
+              (target "/boot/efi")))
+
+ ;; Specify a mapped device for the encrypted root partition.
+ ;; The UUID is that returned by 'cryptsetup luksUUID'.
+ (mapped-devices
+  (list (mapped-device
+	 (source (uuid "0c17f832-2afb-4441-81cd-058b7df67231"))
+	 (target "root-crypt")
+	 (type luks-device-mapping))))
+
+ (file-systems (cons*
+		(file-system
+                 (device (uuid "8E35-3806" 'fat))
+                 (mount-point "/boot/efi")
+                 (type "vfat"))
+                (file-system
+                 (device "/dev/mapper/root-crypt")
+                 (mount-point "/")
+                 (type "btrfs")
+		 (options "compress=lzo,subvol=@")
+                 (dependencies mapped-devices))
+                (file-system
+                 (device "/dev/mapper/root-crypt")
+                 (mount-point "/home")
+                 (type "btrfs")
+		 (options "compress=lzo,subvol=@home")
+                 (dependencies mapped-devices))
+;;                (file-system
+;;                 (device "/dev/mapper/root-crypt")
+;;                 (mount-point "/gnu/store")
+;;                 (type "btrfs")
+;;		 (options "compress=lzo,subvol=@gnu-store")
+;;                 (dependencies mapped-devices))
+
+                %base-file-systems))
+
+ (swap-devices '("/dev/disk/by-uuid/d90e20cb-dfa2-45b2-ae26-9b04b38b07a7"))
+
+ (users (cons (user-account
+               (name "collin")
+               (comment "Master User")
+               (group "users")
+	       (shell #~(string-append #$zsh "/bin/zsh"))
+               (supplementary-groups '("wheel" "netdev"
+                                       "audio" "video"))
+               (home-directory "/home/collin"))
+              %base-user-accounts))
+
+  ;; Add a bunch of window managers; we can choose one at
+  ;; the log-in screen with F1.
+  (packages (cons* nss-certs                      ;for HTTPS access
+		   openssh
+		   ratpoison stumpwm
+		   xmonad ghc-xmonad-contrib xmobar 
+		   dmenu rofi
+                   recutils
+		   tmux
+                   emacs
+		   emacs-guix graphviz
+                   xterm
+                   %base-packages))
+
+ ;; Use the "desktop" services, which
+ ;; include the X11 log-in service, networking with
+ ;; NetworkManager, and more.
+ (services (cons* %desktop-services))
+
+ ;; Allow resolution of '.local' host names with mDNS.
+ (name-service-switch %mdns-host-lookup-nss))