From bd33f8c4816567d0942e131bb39adf870da796bb Mon Sep 17 00:00:00 2001
From: tv <tv@krebsco.de>
Date: Fri, 13 Jul 2018 13:47:35 +0200
Subject: rename disko.nix to example.nix

---
 example-data.nix | 57 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 57 insertions(+)
 create mode 100644 example-data.nix

(limited to 'example-data.nix')

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";
+              };
+            };
+          };
+        };
+      };
+    }
+  ];
+}
-- 
cgit v1.2.3