Re: Increase armv7 ramdisk size

2022-02-08 Thread Theo de Raadt
Fine. Visa Hankala wrote: > On Mon, Feb 07, 2022 at 09:35:21AM -0700, Theo de Raadt wrote: > > Please don't do such a small increase, because it is likely we'll need to > > do it again the near future. > > > > I suggest taking ns#600 to ns#650 or ns#700, and adjusting all the numbers. > > Here

Re: Increase armv7 ramdisk size

2022-02-08 Thread Visa Hankala
On Mon, Feb 07, 2022 at 09:35:21AM -0700, Theo de Raadt wrote: > Please don't do such a small increase, because it is likely we'll need to > do it again the near future. > > I suggest taking ns#600 to ns#650 or ns#700, and adjusting all the numbers. Here is a diff that uses ns#700. OK? Index: e

Re: Increase armv7 ramdisk size

2022-02-07 Thread Theo de Raadt
Please don't do such a small increase, because it is likely we'll need to do it again the near future. I suggest taking ns#600 to ns#650 or ns#700, and adjusting all the numbers. Visa Hankala wrote: > armv7 ramdisk is very low on space. Building the ramdisk succeeds, > but the installer prints

Re: Increase armv7 ramdisk size

2022-02-07 Thread Mark Kettenis
> Date: Mon, 7 Feb 2022 12:49:40 + > From: Visa Hankala > > armv7 ramdisk is very low on space. Building the ramdisk succeeds, > but the installer prints errors: > > uid 0 on /: file system full > > /: write failed, file system is full > sed: stdout: No space left on device > > OK to incre

Increase armv7 ramdisk size

2022-02-07 Thread Visa Hankala
armv7 ramdisk is very low on space. Building the ramdisk succeeds, but the installer prints errors: uid 0 on /: file system full /: write failed, file system is full sed: stdout: No space left on device OK to increase? Index: etc/etc.armv7/disktab ===