From d755e6cbfe6ebe639f04d88b90b86be42b39ca2a Mon Sep 17 00:00:00 2001
From: tv <tv@krebsco.de>
Date: Fri, 13 Jul 2018 13:41:27 +0200
Subject: delete unused children function

---
 disko.nix | 10 +---------
 1 file changed, 1 insertion(+), 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";
-- 
cgit v1.2.3