diff options
Diffstat (limited to 'guix/rde/src/hosts/ixy.scm')
-rw-r--r-- | guix/rde/src/hosts/ixy.scm | 60 |
1 files changed, 0 insertions, 60 deletions
diff --git a/guix/rde/src/hosts/ixy.scm b/guix/rde/src/hosts/ixy.scm deleted file mode 100644 index 781c358..0000000 --- a/guix/rde/src/hosts/ixy.scm +++ /dev/null @@ -1,60 +0,0 @@ -(define-module (abcdw hosts ixy) - #:use-module (rde features base) - #:use-module (rde features system) - #:use-module (rde features wm) - #:use-module (gnu system file-systems) - #:use-module (gnu system mapped-devices) - #:use-module (ice-9 match)) - - -;;; Hardware/host specifis features - -;; TODO: Switch from UUIDs to partition labels For better -;; reproducibilty and easier setup. Grub doesn't support luks2 yet. - -(define ixy-mapped-devices - (list (mapped-device - (source (uuid "0e51ee1e-49ef-45c6-b0c3-6307e9980fa9")) - (target "enc") - (type luks-device-mapping)))) - -(define ixy-file-systems - (append - (map (match-lambda - ((subvol . mount-point) - (file-system - (type "btrfs") - (device "/dev/mapper/enc") - (mount-point mount-point) - (options (format #f "subvol=~a" subvol)) - (dependencies ixy-mapped-devices)))) - '((root . "/") - (boot . "/boot") - (gnu . "/gnu") - (home . "/home") - (data . "/data") - (log . "/var/log"))) - (list - (file-system - (mount-point "/boot/efi") - (type "vfat") - (device (uuid "8C99-0704" 'fat32)))))) - -(define-public %ixy-features - (list - (feature-host-info - #:host-name "ixy" - ;; ls `guix build tzdata`/share/zoneinfo - #:timezone "Asia/Tbilisi") - ;;; Allows to declare specific bootloader configuration, - ;;; grub-efi-bootloader used by default - ;; (feature-bootloader) - (feature-file-systems - #:mapped-devices ixy-mapped-devices - #:file-systems ixy-file-systems) - (feature-kanshi - #:extra-config - `((profile laptop ((output eDP-1 enable))) - (profile docked ((output eDP-1 enable) - (output DP-2 scale 2))))) - (feature-hidpi))) |