diff options
author | tv <tv@krebsco.de> | 2018-07-13 13:41:27 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2018-07-13 13:43:04 +0200 |
commit | d755e6cbfe6ebe639f04d88b90b86be42b39ca2a (patch) | |
tree | 177e75c48c65115471a5e3e25e4be263b164cb40 | |
parent | 70c6a30d85dcdb1a2022a52a485e6b0e4c47b4ca (diff) |
delete unused children function
-rw-r--r-- | disko.nix | 10 |
1 files changed, 1 insertions, 9 deletions
@@ -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"; |