Opstarttijd GRUB aanpassen: verschil tussen versies
Regel 9: | Regel 9: | ||
Voor het veranderen van de opstartvertraging dient u het opstartmenu van Grub te bewerken. Dat kan als volgt. | Voor het veranderen van de opstartvertraging dient u het opstartmenu van Grub te bewerken. Dat kan als volgt. | ||
Kopieer en plak de volgende regel in het terminalvenster: | <sub>Kopieer en plak de volgende regel in het terminalvenster:</sub> | ||
<pre style="font:courier">gedit admin:///etc/default/grub</pre> | <pre style="font:courier">gedit admin:///etc/default/grub</pre> |
Versie van 10 jan 2021 21:10
Probleem
Standaard is het GRUB-menu 10 seconden zichtbaar. Dit is wat lang als je toch niet van plan bent om een andere installatie op te starten. Maar de tijd kan eenvoudig worden aangepast.
Oplossing
Overgenomen van makkelijkelinuxtips.blogspot.com
Grub aanpassen: opstartvertraging vergroten of verkleinen
Voor het veranderen van de opstartvertraging dient u het opstartmenu van Grub te bewerken. Dat kan als volgt.
Kopieer en plak de volgende regel in het terminalvenster:
gedit admin:///etc/default/grub
Het gaat om de volgende regel: GRUB_TIMEOUT (de zichtbaarheidtijd van het opstartmenu, in seconden). Verander dit naar believen. Zelf vind ik drie seconden prettig.
Sla het gewijzigde bestand op en sluit het.
Voor het blijvend maken van de wijzigingen die u hebt aangebracht, doet u daarna in de terminal:
sudo update-grub