!oNSIfazDqEcwhcOjSL:matrix.org

disko

383 Members
disko - declarative disk partitioning - https://github.com/nix-community/disko99 Servers

You have reached the beginning of time (for this room).


SenderMessageTime
18 Aug 2025
@sylvie:karp.lolSylvie (They/She) 🏳️‍⚧️what would a simple grub config that works with the boot-raid1 example look like? 😅14:40:45
@lassulus:lassul.uslassulususually you don't need to set anything except efiSupport = true;14:54:21
@sylvie:karp.lolSylvie (They/She) 🏳️‍⚧️ what should I set boot.loader.grub.device to? 14:58:49
@sylvie:karp.lolSylvie (They/She) 🏳️‍⚧️oh wait, right14:59:11
@sylvie:karp.lolSylvie (They/She) 🏳️‍⚧️there is the grub MBR partition...is that required for an EFI-only system, too?14:59:22
@sylvie:karp.lolSylvie (They/She) 🏳️‍⚧️ * what should I set boot.loader.grub.device to? or mirroredBoots...? 14:59:44
@sylvie:karp.lolSylvie (They/She) 🏳️‍⚧️this actually worked fwiw, but it feels like a hack15:18:52
@sylvie:karp.lolSylvie (They/She) 🏳️‍⚧️not more of a hack than adding a partition for MBR though15:19:16
@sylvie:karp.lolSylvie (They/She) 🏳️‍⚧️nevermind it didn't15:20:34
@alisonjenkins:matrix.orgAlison Jenkinsnot got full context on the convo but it should just use the EFI executable not the MBR15:21:06
@sylvie:karp.lolSylvie (They/She) 🏳️‍⚧️and what do I set as the device?15:21:54
@lassulus:lassul.uslassulususually disko sets the devices for you if you have EF02 partitions, otherwise you can set it to [ "nodev" ]15:22:40
@sylvie:karp.lolSylvie (They/She) 🏳️‍⚧️ah oke, I'll try that15:23:25
@sylvie:karp.lolSylvie (They/She) 🏳️‍⚧️I don't have any EF02 partitions, and my question is if that's required even with EFI, to be clear15:25:01
@lassulus:lassul.uslassulusno they are only needed for MBR15:29:48
@sylvie:karp.lolSylvie (They/She) 🏳️‍⚧️nodev worked fine :)15:30:18

Show newer messages


Back to Room ListRoom Version: 10