diff options
author | tv <tv@krebsco.de> | 2018-07-13 13:52:22 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2018-07-13 13:53:46 +0200 |
commit | c47d8972ad29f80472e9778e6db76838dd8c0cd3 (patch) | |
tree | 327a572ad696b75b8fa161f7d358baba15db6591 /example.nix | |
parent | db6151ff06777deb05b345f1775c037d8671687d (diff) |
move disko.nix to example/ and add usage
Diffstat (limited to 'example.nix')
-rw-r--r-- | example.nix | 57 |
1 files changed, 0 insertions, 57 deletions
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"; - }; - }; - }; - }; - }; - } - ]; -} |