From 5f4263c4caa4088488594e4708ce2b274f23aadf Mon Sep 17 00:00:00 2001 From: Andrew Tropin Date: Fri, 12 Jul 2024 18:59:56 +0400 Subject: [PATCH] examples: ixy: Remove stale file-systems and mapped-devices --- examples/src/rde-configs/hosts/ixy.scm | 28 -------------------------- 1 file changed, 28 deletions(-) diff --git a/examples/src/rde-configs/hosts/ixy.scm b/examples/src/rde-configs/hosts/ixy.scm index 311d63b4..d79d6804 100644 --- a/examples/src/rde-configs/hosts/ixy.scm +++ b/examples/src/rde-configs/hosts/ixy.scm @@ -12,34 +12,6 @@ ;; TODO: Switch from UUIDs to partition labels For better ;; reproducibilty and easier setup. Grub doesn't support luks2 yet. -(define ixy-original-mapped-devices - (list (mapped-device - (source (uuid "0e51ee1e-49ef-45c6-b0c3-6307e9980fa9")) - (target "enc") - (type luks-device-mapping)))) - -(define ixy-original-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-original-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 ixy-mapped-devices (list (mapped-device (source (uuid "6243841f-4171-43dd-8e0b-93bddd56daaa")) -- 2.45.2