From c47d8972ad29f80472e9778e6db76838dd8c0cd3 Mon Sep 17 00:00:00 2001
From: tv <tv@krebsco.de>
Date: Fri, 13 Jul 2018 13:52:22 +0200
Subject: move disko.nix to example/ and add usage

---
 example.nix | 57 ---------------------------------------------------------
 1 file changed, 57 deletions(-)
 delete mode 100644 example.nix

(limited to 'example.nix')

diff --git a/example.nix b/example.nix
deleted file mode 100644
index 38830b6..0000000
--- a/example.nix
+++ /dev/null
@@ -1,57 +0,0 @@
-# nix-instantiate --strict --json --eval format.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