diff options
Diffstat (limited to 'example.nix')
-rw-r--r-- | example.nix | 105 |
1 files changed, 48 insertions, 57 deletions
diff --git a/example.nix b/example.nix index 0262c23..e3ff365 100644 --- a/example.nix +++ b/example.nix @@ -1,57 +1,48 @@ -# usage: nix-instantiate --strict --json --eval example.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"; - }; - }; - }; - }; - }; - } - ]; -} +# usage: nix-instantiate --eval --json example.nix | jq -r . +with import <nixpkgs/lib>; +with builtins; + +let + + fun.filesystem = q: x: '' + mkfs.${x.format} ${q.device} + ''; + + fun.lvm = q: x: '' + pvcreate ${q.device} + vgcreate ${x.name} ${q.device} + ${concatStringsSep "\n" (mapAttrsToList (name: f (q // { inherit name; vgname = x.name; device = null; /* ??? */ })) x.lvs)} + ''; + + fun.luks = q: x: '' + cryptsetup -q luksFormat ${q.device} ${x.keyfile} + cryptsetup luksOpen ${q.device} ${x.name} --key-file ${x.keyfile} + + ${f (q // { device = "/dev/mapper/${x.name}"; }) x.content} + ''; + + fun.partition = q: x: + throw "this should not happen, partitions are managed in fun.table"; + + fun.table = q: x: '' + parted -s -a optimal ${q.device} mklabel ${x.format} + ${concatStringsSep "\n" (imap (i: part: "parted -s -a optimal ${q.device} mkpart ${part.part-type} ${part.fs-type or ""} ${part.start} ${part.end} ${optionalString (part.bootable or false) "\nparted -s -a optimal ${q.device} set ${toString i} boot on "}") x.partitions)} + + ${concatStrings (imap (i: x: f (q // { device = q.device + toString i; }) x.content) x.partitions)} + ''; + + fun.lv = q: x: '' + lvcreate -L ${x.size} -n ${q.name} ${q.vgname} + + ${f (q // { device = "/dev/${q.vgname}/${q.name}"; }) x.content} + ''; + + f = q: x: fun.${x.type} q x; + + q0.device = "/dev/sda"; + x0 = import ./example-data.nix; + +in '' + set -efu + ${f q0 x0} +'' |