how to speed up linux startup boot time grub2 timeout 14.10.2014 please see: https://dwaves.de/2015/03/23/linux-debian-set-grub2-boot-menu-timeout/ More