From dcb0c42857a2ada8754d4514d4b8c4c1d67ab3f5 Mon Sep 17 00:00:00 2001
From: lassulus <lassulus@lassul.us>
Date: Mon, 29 Aug 2022 11:45:19 +0200
Subject: reimplement disko using the nixos type system

This should make the code cleaner, more robust and errors should be
clearer. we also changed the configuration format a bit.
---
 example/btrfs-subvolumes.nix |  43 +++++-----
 example/complex.nix          | 194 +++++++++++++++++++++++++++++++++++++++++++
 example/luks-lvm.nix         | 130 ++++++++++++++---------------
 example/lvm-raid.nix         | 112 +++++++++++++------------
 example/mdadm.nix            |  72 +++++++++-------
 example/zfs-over-legacy.nix  |  63 +++++++-------
 example/zfs.nix              |  53 ++++++------
 7 files changed, 445 insertions(+), 222 deletions(-)
 create mode 100644 example/complex.nix

(limited to 'example')

diff --git a/example/btrfs-subvolumes.nix b/example/btrfs-subvolumes.nix
index 0124c86..83ea71e 100644
--- a/example/btrfs-subvolumes.nix
+++ b/example/btrfs-subvolumes.nix
@@ -1,25 +1,28 @@
 {
-  type = "devices";
-  content = {
+  disk = {
     vdb = {
-      type = "table";
-      format = "gpt";
-      partitions = [
-        {
-          type = "partition";
-          part-type = "primary";
-          start = "0%";
-          end = "100%";
-          content = {
-            type = "btrfs";
-            mountpoint = "/";
-            subvolumes = [
-              "/home"
-              "/test"
-            ];
-          };
-        }
-      ];
+      type = "disk";
+      device = "/dev/vdb";
+      content = {
+        type = "table";
+        format = "gpt";
+        partitions = [
+          {
+            name = "root";
+            type = "partition";
+            start = "0%";
+            end = "100%";
+            content = {
+              type = "btrfs";
+              mountpoint = "/";
+              subvolumes = [
+                "/home"
+                "/test"
+              ];
+            };
+          }
+        ];
+      };
     };
   };
 }
diff --git a/example/complex.nix b/example/complex.nix
new file mode 100644
index 0000000..078f9c5
--- /dev/null
+++ b/example/complex.nix
@@ -0,0 +1,194 @@
+{
+  disk = {
+    disk1 = {
+      type = "disk";
+      device = "/dev/vdb";
+      content = {
+        type = "table";
+        format = "gpt";
+        partitions = [
+          {
+            type = "partition";
+            start = "0";
+            end = "1M";
+            name = "grub";
+            flags = ["bios_grub"];
+          }
+          {
+            type = "partition";
+            start = "1M";
+            end = "100%";
+            name = "luks";
+            bootable = true;
+            content = {
+              type = "luks";
+              name = "crypted1";
+              keyFile = "/tmp/secret.key";
+              extraArgs = [
+                "--hash sha512"
+                "--iter-time 5000"
+              ];
+              content = {
+                type = "lvm_pv";
+                vg = "pool";
+              };
+            };
+          }
+        ];
+      };
+    };
+    disk2 = {
+      type = "disk";
+      device = "/dev/vdc";
+      content = {
+        type = "table";
+        format = "gpt";
+        partitions = [
+          {
+            type = "partition";
+            start = "0";
+            end = "1M";
+            name = "grub";
+            flags = ["bios_grub"];
+          }
+          {
+            type = "partition";
+            start = "1M";
+            end = "100%";
+            name = "luks";
+            bootable = true;
+            content = {
+              type = "luks";
+              name = "crypted2";
+              keyFile = "/tmp/secret.key";
+              extraArgs = [
+                "--hash sha512"
+                "--iter-time 5000"
+              ];
+              content = {
+                type = "lvm_pv";
+                vg = "pool";
+              };
+            };
+          }
+        ];
+      };
+    };
+  };
+  mdadm = {
+    raid1 = {
+      type = "mdadm";
+      level = 1;
+      content = {
+        type = "table";
+        format = "msdos";
+        partitions = [
+          {
+            type = "partition";
+            name = "xfs";
+            start = "1MiB";
+            end = "100%";
+            content = {
+              type = "filesystem";
+              format = "xfs";
+              mountpoint = "/xfs_mdadm_lvm";
+            };
+          }
+        ];
+      };
+    };
+  };
+  lvm_vg = {
+    pool = {
+      type = "lvm_vg";
+      lvs = {
+        root = {
+          type = "lvm_lv";
+          size = "10M";
+          lvm_type = "mirror";
+          content = {
+            type = "filesystem";
+            format = "ext4";
+            mountpoint = "/ext4_on_lvm";
+            options = [
+              "defaults"
+            ];
+          };
+        };
+        raid1 = {
+          type = "lvm_lv";
+          size = "30M";
+          lvm_type = "raid0";
+          content = {
+            type = "mdraid";
+            name = "raid1";
+          };
+        };
+        raid2 = {
+          type = "lvm_lv";
+          size = "30M";
+          lvm_type = "raid0";
+          content = {
+            type = "mdraid";
+            name = "raid1";
+          };
+        };
+        zfs1 = {
+          type = "lvm_lv";
+          size = "128M";
+          lvm_type = "raid0";
+          content = {
+            type = "zfs";
+            pool = "zroot";
+          };
+        };
+        zfs2 = {
+          type = "lvm_lv";
+          size = "128M";
+          lvm_type = "raid0";
+          content = {
+            type = "zfs";
+            pool = "zroot";
+          };
+        };
+      };
+    };
+  };
+  zpool = {
+    zroot = {
+      type = "zpool";
+      mode = "mirror";
+      rootFsOptions = {
+        compression = "lz4";
+        "com.sun:auto-snapshot" = "false";
+      };
+      mountpoint = "/";
+
+      datasets = {
+        zfs_fs = {
+          zfs_type = "filesystem";
+          mountpoint = "/zfs_fs";
+          options."com.sun:auto-snapshot" = "true";
+        };
+        zfs_unmounted_fs = {
+          zfs_type = "filesystem";
+          options.mountpoint = "none";
+        };
+        zfs_legacy_fs = {
+          zfs_type = "filesystem";
+          options.mountpoint = "legacy";
+          mountpoint = "/zfs_legacy_fs";
+        };
+        zfs_testvolume = {
+          zfs_type = "volume";
+          size = "10M";
+          content = {
+            type = "filesystem";
+            format = "ext4";
+            mountpoint = "/ext4onzfs";
+          };
+        };
+      };
+    };
+  };
+}
diff --git a/example/luks-lvm.nix b/example/luks-lvm.nix
index 22c029e..17e18a2 100644
--- a/example/luks-lvm.nix
+++ b/example/luks-lvm.nix
@@ -1,81 +1,81 @@
 {
-  type = "devices";
-  content = {
+  disk = {
     vdb = {
-      type = "table";
-      format = "gpt";
-      partitions = [
-        {
-          type = "partition";
-          part-type = "ESP";
-          start = "1MiB";
-          end = "100MiB";
-          fs-type = "FAT32";
-          bootable = true;
-          content = {
-            type = "filesystem";
-            format = "vfat";
-            mountpoint = "/boot";
-            options = [
-              "defaults"
-            ];
-          };
-        }
-        {
-          type = "partition";
-          part-type = "primary";
-          start = "100MiB";
-          end = "100%";
-          content = {
-            type = "luks";
-            algo = "aes-xts...";
-            name = "crypted";
-            keyfile = "/tmp/secret.key";
-            extraArgs = [
-              "--hash sha512"
-              "--iter-time 5000"
-            ];
-            content = {
-              type = "lvm_pv";
-              vg = "pool";
-            };
-          };
-        }
-      ];
-    };
-    pool = {
-      type = "lvm_vg";
-        lvs = {
-          root = {
-            type = "lvm_lv";
-            size = "100M";
-            mountpoint = "/";
+      type = "disk";
+      device = "/dev/vdb";
+      content = {
+        type = "table";
+        format = "gpt";
+        partitions = [
+          {
+            type = "partition";
+            name = "ESP";
+            # fs-type = "FAT32";
+            start = "1MiB";
+            end = "100MiB";
+            bootable = true;
             content = {
               type = "filesystem";
-              format = "ext4";
-              mountpoint = "/";
+              format = "vfat";
+              mountpoint = "/boot";
               options = [
                 "defaults"
               ];
             };
-          };
-          home = {
-            type = "lvm_lv";
-            size = "10M";
+          }
+          {
+            type = "partition";
+            name = "luks";
+            start = "100MiB";
+            end = "100%";
             content = {
-              type = "filesystem";
-              format = "ext4";
-              mountpoint = "/home";
+              type = "luks";
+              name = "crypted";
+              keyFile = "/tmp/secret.key";
+              extraArgs = [
+                "--hash sha512"
+                "--iter-time 5000"
+              ];
+              content = {
+                type = "lvm_pv";
+                vg = "pool";
+              };
             };
+          }
+        ];
+      };
+    };
+  };
+  lvm_vg = {
+    pool = {
+      type = "lvm_vg";
+      lvs = {
+        root = {
+          type = "lvm_lv";
+          size = "100M";
+          content = {
+            type = "filesystem";
+            format = "ext4";
+            mountpoint = "/";
+            options = [
+              "defaults"
+            ];
           };
-          raw = {
-            type = "lvm_lv";
-            size = "10M";
-            content = {
-              type = "noop";
-            };
+        };
+        home = {
+          type = "lvm_lv";
+          size = "10M";
+          content = {
+            type = "filesystem";
+            format = "ext4";
+            mountpoint = "/home";
           };
         };
+        raw = {
+          type = "lvm_lv";
+          size = "10M";
+        };
+      };
     };
   };
 }
diff --git a/example/lvm-raid.nix b/example/lvm-raid.nix
index 48930ec..3c5ee69 100644
--- a/example/lvm-raid.nix
+++ b/example/lvm-raid.nix
@@ -1,66 +1,74 @@
 {
-  type = "devices";
-  content = {
+  disk = {
     vdb = {
-      type = "table";
-      format = "gpt";
-      partitions = [
-        {
-          type = "partition";
-          part-type = "primary";
-          start = "0%";
-          end = "100%";
-          content = {
-            type = "lvm_pv";
-            vg = "pool";
-          };
-        }
-      ];
+      type = "disk";
+      device = "/dev/vdb";
+      content = {
+        type = "table";
+        format = "gpt";
+        partitions = [
+          {
+            type = "partition";
+            name = "primary";
+            start = "0%";
+            end = "100%";
+            content = {
+              type = "lvm_pv";
+              vg = "pool";
+            };
+          }
+        ];
+      };
     };
     vdc = {
-      type = "table";
-      format = "gpt";
-      partitions = [
-        {
-          type = "partition";
-          part-type = "primary";
-          start = "0%";
-          end = "100%";
-          content = {
-            type = "lvm_pv";
-            vg = "pool";
-          };
-        }
-      ];
+      type = "disk";
+      device = "/dev/vdc";
+      content = {
+        type = "table";
+        format = "gpt";
+        partitions = [
+          {
+            type = "partition";
+            name = "primary";
+            start = "0%";
+            end = "100%";
+            content = {
+              type = "lvm_pv";
+              vg = "pool";
+            };
+          }
+        ];
+      };
     };
+  };
+  lvm_vg = {
     pool = {
       type = "lvm_vg";
-        lvs = {
-          root = {
-            type = "lvm_lv";
-            size = "100M";
+      lvs = {
+        root = {
+          type = "lvm_lv";
+          size = "100M";
+          lvm_type = "mirror";
+          content = {
+            type = "filesystem";
+            format = "ext4";
             mountpoint = "/";
-            lvm_type = "mirror";
-            content = {
-              type = "filesystem";
-              format = "ext4";
-              mountpoint = "/";
-              options = [
-                "defaults"
-              ];
-            };
+            options = [
+              "defaults"
+            ];
           };
-          home = {
-            type = "lvm_lv";
-            size = "10M";
-            lvm_type = "raid0";
-            content = {
-              type = "filesystem";
-              format = "ext4";
-              mountpoint = "/home";
-            };
+        };
+        home = {
+          type = "lvm_lv";
+          size = "10M";
+          lvm_type = "raid0";
+          content = {
+            type = "filesystem";
+            format = "ext4";
+            mountpoint = "/home";
           };
         };
+      };
     };
   };
 }
diff --git a/example/mdadm.nix b/example/mdadm.nix
index cb0ad91..094499d 100644
--- a/example/mdadm.nix
+++ b/example/mdadm.nix
@@ -1,39 +1,47 @@
-# usage: nix-instantiate --eval --json --strict example/config.nix | jq .
 {
-  type = "devices";
-  content = {
+  disk = {
     vdb = {
-      type = "table";
-      format = "gpt";
-      partitions = [
-        {
-          type = "partition";
-          part-type = "primary";
-          start = "1MiB";
-          end = "100%";
-          content = {
-            type = "mdraid";
-            name = "raid1";
-          };
-        }
-      ];
+      type = "disk";
+      device = "/dev/vdb";
+      content = {
+        type = "table";
+        format = "gpt";
+        partitions = [
+          {
+            type = "partition";
+            name = "mdadm";
+            start = "1MiB";
+            end = "100%";
+            content = {
+              type = "mdraid";
+              name = "raid1";
+            };
+          }
+        ];
+      };
     };
     vdc = {
-      type = "table";
-      format = "gpt";
-      partitions = [
-        {
-          type = "partition";
-          part-type = "primary";
-          start = "1MiB";
-          end = "100%";
-          content = {
-            type = "mdraid";
-            name = "raid1";
-          };
-        }
-      ];
+      type = "disk";
+      device = "/dev/vdc";
+      content = {
+        type = "table";
+        format = "gpt";
+        partitions = [
+          {
+            type = "partition";
+            name = "mdadm";
+            start = "1MiB";
+            end = "100%";
+            content = {
+              type = "mdraid";
+              name = "raid1";
+            };
+          }
+        ];
+      };
     };
+  };
+  mdadm = {
     raid1 = {
       type = "mdadm";
       level = 1;
@@ -43,7 +51,7 @@
         partitions = [
           {
             type = "partition";
-            part-type = "primary";
+            name = "primary";
             start = "1MiB";
             end = "100%";
             content = {
diff --git a/example/zfs-over-legacy.nix b/example/zfs-over-legacy.nix
index 8f5a8bc..81a5975 100644
--- a/example/zfs-over-legacy.nix
+++ b/example/zfs-over-legacy.nix
@@ -1,41 +1,46 @@
 {
-  type = "devices";
-  content = {
+  disk = {
     vdb = {
-      type = "table";
-      format = "gpt";
-      partitions = [
-        {
-          type = "partition";
-          # leave space for the grub aka BIOS boot
-          start = "0%";
-          end = "100%";
-          part-type = "primary";
-          bootable = true;
-          content = {
-            type = "filesystem";
-            format = "ext4";
-            mountpoint = "/";
-          };
-        }
-      ];
+      type = "disk";
+      device = "/dev/vdb";
+      content = {
+        type = "table";
+        format = "gpt";
+        partitions = [
+          {
+            type = "partition";
+            start = "0%";
+            end = "100%";
+            name = "primary";
+            bootable = true;
+            content = {
+              type = "filesystem";
+              format = "ext4";
+              mountpoint = "/";
+            };
+          }
+        ];
+      };
     };
     vdc = {
-      type = "zfs";
-      pool = "zroot";
+      type = "disk";
+      device = "/dev/vdc";
+      content = {
+        type = "zfs";
+        pool = "zroot";
+      };
     };
+  };
+  zpool = {
     zroot = {
       type = "zpool";
-      mountpoint = "/";
-
-      datasets = [
-        {
-          type = "zfs_filesystem";
-          name = "zfs_fs";
+      datasets = {
+        zfs_fs = {
+          zfs_type = "filesystem";
           mountpoint = "/zfs_fs";
           options."com.sun:auto-snapshot" = "true";
-        }
-      ];
+        };
+      };
     };
   };
 }
diff --git a/example/zfs.nix b/example/zfs.nix
index 60e4700..16da367 100644
--- a/example/zfs.nix
+++ b/example/zfs.nix
@@ -1,14 +1,23 @@
 {
-  type = "devices";
-  content = {
+  disk = {
     vdb = {
-      type = "zfs";
-      pool = "zroot";
+      type = "disk";
+      device = "/dev/vdb";
+      content = {
+        type = "zfs";
+        pool = "zroot";
+      };
     };
     vdc = {
-      type = "zfs";
-      pool = "zroot";
+      type = "disk";
+      device = "/dev/vdc";
+      content = {
+        type = "zfs";
+        pool = "zroot";
+      };
     };
+  };
+  zpool = {
     zroot = {
       type = "zpool";
       mode = "mirror";
@@ -18,35 +27,31 @@
       };
       mountpoint = "/";
 
-      datasets = [
-        {
-          type = "zfs_filesystem";
-          name = "zfs_fs";
+      datasets = {
+        zfs_fs = {
+          zfs_type = "filesystem";
           mountpoint = "/zfs_fs";
           options."com.sun:auto-snapshot" = "true";
-        }
-        {
-          type = "zfs_filesystem";
-          name = "zfs_unmounted_fs";
+        };
+        zfs_unmounted_fs = {
+          zfs_type = "filesystem";
           options.mountpoint = "none";
-        }
-        {
-          type = "zfs_filesystem";
-          name = "zfs_legacy_fs";
+        };
+        zfs_legacy_fs = {
+          zfs_type = "filesystem";
           options.mountpoint = "legacy";
           mountpoint = "/zfs_legacy_fs";
-        }
-        {
-          type = "zfs_volume";
-          name = "zfs_testvolume";
+        };
+        zfs_testvolume = {
+          zfs_type = "volume";
           size = "10M";
           content = {
             type = "filesystem";
             format = "ext4";
             mountpoint = "/ext4onzfs";
           };
-        }
-      ];
+        };
+      };
     };
   };
 }
-- 
cgit v1.2.3