From c47d8972ad29f80472e9778e6db76838dd8c0cd3 Mon Sep 17 00:00:00 2001 From: tv Date: Fri, 13 Jul 2018 13:52:22 +0200 Subject: move disko.nix to example/ and add usage --- disko.nix | 52 ------------------------------------------------ example.nix | 57 ----------------------------------------------------- example/config.nix | 57 +++++++++++++++++++++++++++++++++++++++++++++++++++++ example/default.nix | 54 ++++++++++++++++++++++++++++++++++++++++++++++++++ 4 files changed, 111 insertions(+), 109 deletions(-) delete mode 100644 disko.nix delete mode 100644 example.nix create mode 100644 example/config.nix create mode 100644 example/default.nix diff --git a/disko.nix b/disko.nix deleted file mode 100644 index 2e6805a..0000000 --- a/disko.nix +++ /dev/null @@ -1,52 +0,0 @@ -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: - "(part ${toString (map (f q) (children x))})"; - - fun.table = q: x: '' - parted -s -a optimal ${q.device} mklabel ${x.format} - ${concatStrings (imap (i: part: " \nparted -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} - ''; - - children = x: { - lvm = attrValues x.lvs; - luks = [x.content]; - partition = [x.content]; - table = x.partitions; - lv = [x.content]; - }.${x.type}; - - f = q: x: fun.${x.type} q x; - - q0.device = "/dev/sda"; - x0 = import ./example.nix; -in - f q0 x0 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"; - }; - }; - }; - }; - }; - } - ]; -} diff --git a/example/config.nix b/example/config.nix new file mode 100644 index 0000000..e9766fe --- /dev/null +++ b/example/config.nix @@ -0,0 +1,57 @@ +# usage: nix-instantiate --eval --json --strict example/config.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/default.nix b/example/default.nix new file mode 100644 index 0000000..69ef936 --- /dev/null +++ b/example/default.nix @@ -0,0 +1,54 @@ +# usage: nix-instantiate --eval --json --strict example | 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: + "(part ${toString (map (f q) (children x))})"; + + fun.table = q: x: '' + parted -s -a optimal ${q.device} mklabel ${x.format} + ${concatStrings (imap (i: part: " \nparted -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} + ''; + + children = x: { + lvm = attrValues x.lvs; + luks = [x.content]; + partition = [x.content]; + table = x.partitions; + lv = [x.content]; + }.${x.type}; + + f = q: x: fun.${x.type} q x; + + q0.device = "/dev/sda"; + x0 = import ./config.nix; +in + f q0 x0 -- cgit v1.2.3