Gary Dale <garyd...@torfree.net> wrote: > On 30/06/15 07:04 PM, Lisi Reisz wrote: >> On Tuesday 30 June 2015 23:30:46 Sven Hartge wrote:
>>> Wow. 100MB for a bios_grub partition wastes about 99.8MB. >> Which used to matter. But out of 2T??? > Agreed. I remember having a 100M /boot partition which was always > running out of space if I didn't remove old kernels manually. Attention: The bios_grub (EF02) partition ist NOT for /boot! This partition has _nothing_ to do with /boot. The bios_grub partition is only needed for a tiny tiny bit of the bootloader GRUB, in most cases smaller than 32KBytes. Grüße, S° -- Sigmentation fault. Core dumped. -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/vbo3itmi3...@mids.svenhartge.de
