machine/serverle: switch to disko config

This commit is contained in:
Felix Buehler 2023-09-07 00:00:34 +02:00
parent 95a5e4cc78
commit 08ffb1865a
6 changed files with 92 additions and 45 deletions

View file

@ -0,0 +1,74 @@
{ disks ? [ "/dev/sda" ], ... }:
{
disk = {
vdb = {
type = "disk";
device = builtins.head disks;
content = {
type = "gpt";
partitions = {
boot = {
size = "1M";
type = "EF02"; # for grub MBR
};
ESP = {
size = "512M";
type = "EF00";
content = {
type = "filesystem";
format = "vfat";
mountpoint = "/boot";
mountOptions = [
"defaults"
];
};
};
luks = {
size = "100%";
content = {
type = "luks";
name = "encrypted";
extraOpenArgs = [ "--allow-discards" ];
passwordFile = "/tmp/disk.key";
content = {
type = "lvm_pv";
vg = "pool";
};
};
};
};
};
};
};
lvm_vg = {
pool = {
type = "lvm_vg";
lvs = {
root = {
size = "50G";
content = {
type = "filesystem";
format = "ext4";
mountpoint = "/";
};
};
data = {
size = "350G";
content = {
type = "filesystem";
format = "ext4";
mountpoint = "/data";
};
};
swap = {
size = "4G";
content = {
type = "swap";
randomEncryption = true;
resumeDevice = true;
};
};
};
};
};
}