From db6151ff06777deb05b345f1775c037d8671687d Mon Sep 17 00:00:00 2001
From: lassulus <lassulus@lassul.us>
Date: Fri, 13 Jul 2018 11:16:12 +0200
Subject: initial vommit

---
 disko.nix | 52 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 52 insertions(+)
 create mode 100644 disko.nix

(limited to 'disko.nix')

diff --git a/disko.nix b/disko.nix
new file mode 100644
index 0000000..2e6805a
--- /dev/null
+++ b/disko.nix
@@ -0,0 +1,52 @@
+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:
+    "(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
-- 
cgit v1.2.3