
4 Jun
2018
4 Jun
'18
12:05 a.m.
On Sun, Jun 03, 2018 at 11:23:07PM +0200, Heinrich Schuchardt wrote:
On 06/03/2018 08:56 PM, Vagrant Cascadian wrote:
The default value with distro_bootcmd is 2 seconds, which is reasonably fast, and provides a consistent experience across platforms supporting distro_bootcmd.
The current bootdelay value of 0 seconds is a bit challenging to interrupt when desired.
Signed-off-by: Vagrant Cascadian vagrant@debian.org
We should not make console access unnecessarily difficult. The patch is applicable and building sets bootdelay=2 in the default environment.
Acked-by: Heinrich Schuchardt xypron.glpk@gmx.de
@Tom: As Jaehoon did not find time for reviewing since March, would you pick up the patch?
OK, I'll pick it up, thanks guys!
--
Tom