Re: debian netinst 2020-04-18 claims No space left on device

[Mathieu Malaterre <mathieu.malaterre@gmail.com>]

Le dim. 19 avr. 2020 09:15, Mathieu Malaterre <mathieu.malaterre@gmail.com> a écrit :

Le dim. 19 avr. 2020 08:45, John Paul Adrian Glaubitz <glaubitz@physik.fu-berlin.de> a écrit :

On 4/19/20 8:39 AM, John Paul Adrian Glaubitz wrote:
> It might just be that we will have to increase the size of the HFS boot
> partition as GRUB requires for disk space these days.
>
> Not sure though whether the partition is allowed to be larger by the
> firmware.

It seems that Gentoo recommends a partition size for the boot partition
of 128 MB [1].

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=691207

Wrong bug report :

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=610206

I am fine with 128MB also

Adrian

> [1] https://wiki.gentoo.org/wiki/GRUB_on_Open_Firmware_(PowerPC)

--
 .''`.  John Paul Adrian Glaubitz
: :' :  Debian Developer - glaubitz@debian.org
`. `'   Freie Universitaet Berlin - glaubitz@physik.fu-berlin.de
  `-    GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913