rpqt/flocon
rpqt/flocon
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

machines/genepi: set disk schema to ext4-single-disk

Browse source
This commit is contained in:
Romain Paquet 2026-03-31 21:04:35 +02:00
parent fad3233a17
commit 6f4719d5f5
1 changed files with 44 additions and 29 deletions
Download patch file Download diff file Expand all files Collapse all files

73
machines/genepi/disko.nix
View file

@ -1,33 +1,48 @@
# ---
# schema = "ext4-single-disk"
# [placeholders]
# mainDisk = "/dev/disk/by-id/mmc-00000_0xf8b106a0"
# ---
# This file was automatically generated!
# CHANGING this configuration requires wiping and reinstalling the machine
{ {
disko.devices.disk.main = { boot.loader.grub = {
name = "main-72b27bb5253045f38a07b6bc368ab85c"; efiInstallAsRemovable = true;
type = "disk"; efiSupport = true;
device = "/dev/disk/by-id/ata-WD_Green_M.2_2280_480GB_2251E6411147"; };
content = {
type = "gpt"; disko.devices = {
partitions = { disk = {
ESP = { main = {
type = "EF00"; name = "main-31b577a67ed04e7d807a267e6ecdee75";
size = "512M"; device = "/dev/disk/by-id/mmc-00000_0xf8b106a0";
priority = 1; type = "disk";
content = { content = {
type = "filesystem"; type = "gpt";
format = "vfat"; partitions = {
mountpoint = "/boot"; "boot" = {
}; size = "1M";
}; type = "EF02"; # for grub MBR
root = { priority = 1;
end = "-4G"; };
content = { ESP = {
type = "filesystem"; type = "EF00";
format = "ext4"; size = "500M";
mountpoint = "/"; content = {
}; type = "filesystem";
}; format = "vfat";
swap = { mountpoint = "/boot";
size = "100%"; mountOptions = [ "umask=0077" ];
content = { };
type = "swap"; };
root = {
size = "100%";
content = {
type = "filesystem";
format = "ext4";
mountpoint = "/";
};
};
}; };
}; };
}; };