technofab/disko
1
0
Fork 0
mirror of https://github.com/TECHNOFAB11/disko.git synced 2025-12-12 16:10:03 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

example: sort and remove dead code

Browse source
This commit is contained in:
tv 2018-07-13 14:21:14 +02:00
parent c47d8972ad
commit 6fcd7fc2c4
1 changed files with 23 additions and 31 deletions
Download patch file Download diff file Expand all files Collapse all files

54
example/default.nix
View file

@ -5,50 +5,42 @@ with builtins;
let
f = q: x: fun.${x.type} q x;
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)}
${f { device = "/dev/mapper/${x.name}"; } x.content}
'';
fun.lv = q: x: ''
lvcreate -L ${x.size} -n ${q.name} ${q.vgname}
${f (q // { device = "/dev/${q.vgname}/${q.name}"; }) x.content}
${f { 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};
fun.lvm = q: x: ''
pvcreate ${q.device}
vgcreate ${x.name} ${q.device}
${concatStrings (mapAttrsToList (name: f { inherit name; vgname = x.name; }) x.lvs)}
'';
f = q: x: fun.${x.type} q x;
fun.partition = q: x: ''
parted -s ${q.device} mkpart ${x.part-type} ${x.fs-type or ""} ${x.start} ${x.end}
${optionalString (x.bootable or false) ''
parted -s ${q.device} set ${toString q.index} boot on
''}
${f { device = q.device + toString q.index; } x.content}
'';
fun.table = q: x: ''
parted -s -a optimal ${q.device} mklabel ${x.format}
${concatStrings (imap (index: f (q // { inherit index; })) x.partitions)}
'';
q0.device = "/dev/sda";
x0 = import ./config.nix;
in
f q0 x0
f { device = "/dev/sda"; } (import ./config.nix)