From bd33f8c4816567d0942e131bb39adf870da796bb Mon Sep 17 00:00:00 2001 From: tv Date: Fri, 13 Jul 2018 13:47:35 +0200 Subject: rename disko.nix to example.nix --- disko.nix | 48 ------------------------- example-data.nix | 57 ++++++++++++++++++++++++++++++ example.nix | 105 +++++++++++++++++++++++++------------------------------ 3 files changed, 105 insertions(+), 105 deletions(-) delete mode 100644 disko.nix create mode 100644 example-data.nix diff --git a/disko.nix b/disko.nix deleted file mode 100644 index e345cdc..0000000 --- a/disko.nix +++ /dev/null @@ -1,48 +0,0 @@ -# usage: nix-instantiate --eval --json disko.nix | jq -r . -with import ; -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.nix; - -in '' - set -efu - ${f q0 x0} -'' 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"; + }; + }; + }; + }; + }; + } + ]; +} 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 ; +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} +'' -- cgit v1.2.3