rename disko.nix to example.nixderp

3 files changed, 105 insertions, 105 deletions

diff --git a/disko.nix b/disko.nix
deleted file mode 100644
index e345cdc..0000000
--- a/disko.nix
+++ /dev/null
@@ -1,48 +0,0 @@
-# usage: nix-instantiate --eval --json disko.nix | jq -r .
-with import <nixpkgs/lib>;
-with builtins;
-
-let
-
-  fun.filesystem = q: x: ''
-    mkfs.${x.format} ${q.device}
-  '';
-
-  fun.lvm = q: x: ''
-    pvcreate ${q.device}
-    vgcreate ${x.name} ${q.device}
-    ${concatStringsSep "\n" (mapAttrsToList (name: f (q // { inherit name; vgname = x.name; device = null; /* ??? */ })) x.lvs)}
-  '';
-
-  fun.luks = q: x: ''
-    cryptsetup -q luksFormat ${q.device} ${x.keyfile}
-    cryptsetup luksOpen ${q.device} ${x.name} --key-file ${x.keyfile}
-
-    ${f (q // { device = "/dev/mapper/${x.name}"; }) x.content}
-  '';
-
-  fun.partition = q: x:
-    throw "this should not happen, partitions are managed in fun.table";
-
-  fun.table = q: x: ''
-    parted -s -a optimal ${q.device} mklabel ${x.format}
-    ${concatStringsSep "\n" (imap (i: part: "parted -s -a optimal ${q.device} mkpart ${part.part-type} ${part.fs-type or ""} ${part.start} ${part.end} ${optionalString (part.bootable or false) "\nparted -s -a optimal ${q.device} set ${toString i} boot on "}") x.partitions)}
-
-    ${concatStrings (imap (i: x: f (q // { device = q.device + toString i; }) x.content) x.partitions)}
-  '';
-
-  fun.lv = q: x: ''
-    lvcreate -L ${x.size} -n ${q.name} ${q.vgname}
-
-    ${f (q // { device = "/dev/${q.vgname}/${q.name}"; }) x.content}
-  '';
-
-  f = q: x: fun.${x.type} q x;
-
-  q0.device = "/dev/sda";
-  x0 = import ./example.nix;
-
-in ''
-  set -efu
-  ${f q0 x0}
-''
diff --git a/example-data.nix b/example-data.nix
new file mode 100644
index 0000000..b5b19e9
--- /dev/null
+++ b/example-data.nix
@@ -0,0 +1,57 @@
+# usage: nix-instantiate --strict --json --eval example-data.nix | jq .
+{
+  type = "table";
+  format = "gpt";
+  partitions = [
+    {
+      type = "partition";
+      part-type = "ESP";
+      start = "1MiB";
+      end = "1024MiB";
+      fs-type = "fat32";
+      bootable = true;
+      content = {
+        type = "filesystem";
+        format = "vfat";
+        mountpoint = "/boot";
+      };
+    }
+    {
+      type = "partition";
+      part-type = "primary";
+      start = "1024MiB";
+      end = "100%";
+      content = {
+        type = "luks";
+        algo = "aes-xts...";
+        name = "crypted";
+        keyfile = "/tmp/secret.key";
+        content = {
+          type = "lvm";
+          name = "pool";
+          lvs = {
+            root = {
+              type = "lv";
+              size = "10G";
+              mountpoint = "/";
+              content = {
+                type = "filesystem";
+                format = "ext4";
+                mountpoint = "/";
+              };
+            };
+            home = {
+              type = "lv";
+              size = "10G";
+              content = {
+                type = "filesystem";
+                format = "ext4";
+                mountpoint = "/home";
+              };
+            };
+          };
+        };
+      };
+    }
+  ];
+}
diff --git a/example.nix b/example.nix
index 0262c23..e3ff365 100644
--- a/example.nix
+++ b/example.nix
@@ -1,57 +1,48 @@
-# usage: nix-instantiate --strict --json --eval example.nix | jq .
-{
-  type = "table";
-  format = "gpt";
-  partitions = [
-    {
-      type = "partition";
-      part-type = "ESP";
-      start = "1MiB";
-      end = "1024MiB";
-      fs-type = "fat32";
-      bootable = true;
-      content = {
-        type = "filesystem";
-        format = "vfat";
-        mountpoint = "/boot";
-      };
-    }
-    {
-      type = "partition";
-      part-type = "primary";
-      start = "1024MiB";
-      end = "100%";
-      content = {
-        type = "luks";
-        algo = "aes-xts...";
-        name = "crypted";
-        keyfile = "/tmp/secret.key";
-        content = {
-          type = "lvm";
-          name = "pool";
-          lvs = {
-            root = {
-              type = "lv";
-              size = "10G";
-              mountpoint = "/";
-              content = {
-                type = "filesystem";
-                format = "ext4";
-                mountpoint = "/";
-              };
-            };
-            home = {
-              type = "lv";
-              size = "10G";
-              content = {
-                type = "filesystem";
-                format = "ext4";
-                mountpoint = "/home";
-              };
-            };
-          };
-        };
-      };
-    }
-  ];
-}
+# usage: nix-instantiate --eval --json example.nix | jq -r .
+with import <nixpkgs/lib>;
+with builtins;
+
+let
+
+  fun.filesystem = q: x: ''
+    mkfs.${x.format} ${q.device}
+  '';
+
+  fun.lvm = q: x: ''
+    pvcreate ${q.device}
+    vgcreate ${x.name} ${q.device}
+    ${concatStringsSep "\n" (mapAttrsToList (name: f (q // { inherit name; vgname = x.name; device = null; /* ??? */ })) x.lvs)}
+  '';
+
+  fun.luks = q: x: ''
+    cryptsetup -q luksFormat ${q.device} ${x.keyfile}
+    cryptsetup luksOpen ${q.device} ${x.name} --key-file ${x.keyfile}
+
+    ${f (q // { device = "/dev/mapper/${x.name}"; }) x.content}
+  '';
+
+  fun.partition = q: x:
+    throw "this should not happen, partitions are managed in fun.table";
+
+  fun.table = q: x: ''
+    parted -s -a optimal ${q.device} mklabel ${x.format}
+    ${concatStringsSep "\n" (imap (i: part: "parted -s -a optimal ${q.device} mkpart ${part.part-type} ${part.fs-type or ""} ${part.start} ${part.end} ${optionalString (part.bootable or false) "\nparted -s -a optimal ${q.device} set ${toString i} boot on "}") x.partitions)}
+
+    ${concatStrings (imap (i: x: f (q // { device = q.device + toString i; }) x.content) x.partitions)}
+  '';
+
+  fun.lv = q: x: ''
+    lvcreate -L ${x.size} -n ${q.name} ${q.vgname}
+
+    ${f (q // { device = "/dev/${q.vgname}/${q.name}"; }) x.content}
+  '';
+
+  f = q: x: fun.${x.type} q x;
+
+  q0.device = "/dev/sda";
+  x0 = import ./example-data.nix;
+
+in ''
+  set -efu
+  ${f q0 x0}
+''