aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2018-07-13 13:41:27 +0200
committertv <tv@krebsco.de>2018-07-13 13:43:04 +0200
commitd755e6cbfe6ebe639f04d88b90b86be42b39ca2a (patch)
tree177e75c48c65115471a5e3e25e4be263b164cb40
parent70c6a30d85dcdb1a2022a52a485e6b0e4c47b4ca (diff)
delete unused children function
-rw-r--r--disko.nix10
1 files changed, 1 insertions, 9 deletions
diff --git a/disko.nix b/disko.nix
index ed385e8..15e7d5c 100644
--- a/disko.nix
+++ b/disko.nix
@@ -21,7 +21,7 @@ let
'';
fun.partition = q: x:
- "(part ${toString (map (f q) (children 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}
@@ -36,14 +36,6 @@ let
${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";