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, and you are not using an ancient GRUB that upports your root file system, then you could have /boot directly on the root file system, rather than in a separate partition.
YMMV of course, but for modern installations using sane defaults, I don't see much benefits of a separate /boot partition.
Thomas