generate nixos config from definition, split into format & config

2 files changed, 47 insertions, 17 deletions

diff --git a/example/default.nix b/example/default.nix
index cdcb359..cb98853 100644
--- a/example/default.nix
+++ b/example/default.nix
@@ -2,4 +2,7 @@
 
 with import ../lib;
 
-  disko "/dev/sda" (import ./config.nix)
+{
+  format = format "/dev/sda" (import ./config.nix);
+  config = config "/dev/sda" (import ./config.nix);
+}
diff --git a/lib/default.nix b/lib/default.nix
index 00ea728..2075b27 100644
--- a/lib/default.nix
+++ b/lib/default.nix
@@ -3,43 +3,70 @@ with builtins;
 
 let
 
-  f = q: x: fun.${x.type} q x;
+  config-f = q: x: config.${x.type} q x;
 
-  fun.filesystem = q: x: ''
+  config.filesystem = q: x: {
+    fileSystems.${x.mountpoint} = {
+      device = q.device;
+      fsType = x.format;
+    };
+  };
+
+  config.lv = q: x:
+    config-f { device = "/dev/${q.vgname}/${q.name}"; } x.content;
+
+  config.luks = q: x: {
+    boot.initrd.luks.devices.${x.name}.device = q.device;
+  } // config-f { device = "/dev/mapper/${x.name}"; } x.content;
+
+  config.lvm = q: x:
+    foldl' mergeAttrs {} (mapAttrsToList (name: config-f { inherit name; vgname = x.name; }) x.lvs);
+
+  config.partition = q: x:
+    config-f { device = q.device + toString q.index; } x.content;
+
+  config.table = q: x:
+    foldl' mergeAttrs {} (imap (index: config-f (q // { inherit index; })) x.partitions);
+
+
+  format-f = q: x: format.${x.type} q x;
+
+  format.filesystem = q: x: ''
     mkfs.${x.format} ${q.device}
   '';
 
-  fun.luks = q: x: ''
-    cryptsetup -q luksFormat ${q.device} ${x.keyfile}
-    cryptsetup luksOpen ${q.device} ${x.name} --key-file ${x.keyfile}
-    ${f { device = "/dev/mapper/${x.name}"; } x.content}
+  format.lv = q: x: ''
+    lvcreate -L ${x.size} -n ${q.name} ${q.vgname}
+    ${format-f { device = "/dev/${q.vgname}/${q.name}"; } x.content}
   '';
 
-  fun.lv = q: x: ''
-    lvcreate -L ${x.size} -n ${q.name} ${q.vgname}
-    ${f { device = "/dev/${q.vgname}/${q.name}"; } x.content}
+  format.luks = q: x: ''
+    cryptsetup -q luksFormat ${q.device} ${x.keyfile}
+    cryptsetup luksOpen ${q.device} ${x.name} --key-file ${x.keyfile}
+    ${format-f { device = "/dev/mapper/${x.name}"; } x.content}
   '';
 
-  fun.lvm = q: x: ''
+  format.lvm = q: x: ''
     pvcreate ${q.device}
     vgcreate ${x.name} ${q.device}
-    ${concatStrings (mapAttrsToList (name: f { inherit name; vgname = x.name; }) x.lvs)}
+    ${concatStrings (mapAttrsToList (name: format-f { inherit name; vgname = x.name; }) x.lvs)}
   '';
 
-  fun.partition = q: x: ''
+  format.partition = q: x: ''
     parted -s ${q.device} mkpart ${x.part-type} ${x.fs-type or ""} ${x.start} ${x.end}
     ${optionalString (x.bootable or false) ''
       parted -s ${q.device} set ${toString q.index} boot on
     ''}
-    ${f { device = q.device + toString q.index; } x.content}
+    ${format-f { device = q.device + toString q.index; } x.content}
   '';
 
-  fun.table = q: x: ''
+  format.table = q: x: ''
     parted -s ${q.device} mklabel ${x.format}
-    ${concatStrings (imap (index: f (q // { inherit index; })) x.partitions)}
+    ${concatStrings (imap (index: format-f (q // { inherit index; })) x.partitions)}
   '';
 
 in
   {
-    disko = device: f { inherit device; };
+    config = device: config-f { inherit device; };
+    format = device: format-f { inherit device; };
   }