@wtry@lemm.ee to Linux@lemmy.ml • 1 year agoWhat are the best practices to partition a linux system with?message-square62fedilinkarrow-up1127
arrow-up1127message-squareWhat are the best practices to partition a linux system with?@wtry@lemm.ee to Linux@lemmy.ml • 1 year agomessage-square62fedilink
minus-square@lloram239@feddit.delinkfedilink5•edit-21 year agoSome distributions (e.g. NixOS) store their kernels on the EFI partition, going small will bite you on those. 1GB is a good size. The Windows default of 100MB is only enough to store two kernels. Edit: This might actually be systemd-boot specific.
minus-square@chayleaf@lemmy.mllinkfedilink1•edit-21 year agoI use NixOS, and read my comment again. /boot/efi is only for GRUB. /boot is where the actual kernels reside, and it isn’t on the EFI partition.
minus-square@lloram239@feddit.delinkfedilink1•edit-21 year agoMight actually be systemd-boot thing, not a NixOS specific thing, either way, this is where my kernels are: /boot/EFI/nixos/vnmrdbd7a5rg6482d6p8zxc57xf2nxqb-linux-6.1.44-bzImage.efi /boot is straight up the EFI partition, there is no separate /boot partition.
minus-square@chayleaf@lemmy.mllinkfedilink2•1 year agoyeah that’s probably because systemd-boot only supports FAT
Some distributions (e.g. NixOS) store their kernels on the EFI partition, going small will bite you on those. 1GB is a good size. The Windows default of 100MB is only enough to store two kernels.
Edit: This might actually be
systemd-bootspecific.deleted by creator
I use NixOS, and read my comment again. /boot/efi is only for GRUB. /boot is where the actual kernels reside, and it isn’t on the EFI partition.
Might actually be
systemd-bootthing, not a NixOS specific thing, either way, this is where my kernels are:/boot/EFI/nixos/vnmrdbd7a5rg6482d6p8zxc57xf2nxqb-linux-6.1.44-bzImage.efi
/boot is straight up the EFI partition, there is no separate /boot partition.
yeah that’s probably because systemd-boot only supports FAT
*FAT32
I doubt it doesn’t support FAT16