Изменение таймаута меню загрузчика GRUB

Применимо к Debian/Ubuntu и т.п.

В файле /etc/default/grub меняем значение параметра GRUB_TIMEOUT на желаемое число секунд. Сохраняем, а затем запускаем команду update-grub с правами суперпользователя, чтобы обновить конфигурацию grub.