On 2025-09-18 15:50:47 +0000, Thomas Pircher wrote: > On 2025-09-18 15:22, Vincent Lefevre wrote: > > The real issue is with the /boot partition. When I installed the > > machine 2 years ago, the size recommended by Debian was... 25-50 MB!!! > > Also not a direct answer to your question, but if you are booting with EFI,
/sys/firmware/efi exists, so I assume that this is the case. > and you are not using an ancient GRUB that upports your root file system, I have the latest grub in Debian: 2.12-9 (EFI version). > then you could have /boot directly on the root file system, rather > than in a separate partition. Thanks. I'm wondering why this was never proposed in the recent discussions and bug reports about the /boot size issue. I think that I have to look at https://unix.stackexchange.com/q/756269/74516 ("How to merge /boot partition into root partition") -- Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / Pascaline project (LIP, ENS-Lyon)
