summaryrefslogtreecommitdiffstats
path: root/example.nix
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2018-07-13 13:52:22 +0200
committertv <tv@krebsco.de>2018-07-13 13:53:46 +0200
commitc47d8972ad29f80472e9778e6db76838dd8c0cd3 (patch)
tree327a572ad696b75b8fa161f7d358baba15db6591 /example.nix
parentdb6151ff06777deb05b345f1775c037d8671687d (diff)
move disko.nix to example/ and add usage
Diffstat (limited to 'example.nix')
-rw-r--r--example.nix57
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";
- };
- };
- };
- };
- };
- }
- ];
-}