aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--disko.nix48
-rw-r--r--example-data.nix57
-rw-r--r--example.nix105
3 files changed, 105 insertions, 105 deletions
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 <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.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 <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}
+''