J'ai Windows 7 et Ubuntu 12.04 dans mon système et j'ai vu que la durée par défaut du menu de sélection du système d'exploitation n'est que de 10 secondes. Comme je suis nouveau sur Linux, quelqu'un peut-il me dire comment augmenter ce temps?
33
Vous devez éditer le
/etc/default/grub
fichier en ouvrant un terminal et en exécutant cette commande:sudo gedit /etc/default/grub
Vous devez définir la valeur de
GRUB_TIMEOUT
combien de temps (en secondes) vous souhaitez que le menu de menu apparaisse.GRUB_TIMEOUT
est en fait le nombre de secondes avant le démarrage automatique de l'entrée par défaut. Si vous souhaitez voir le menu pendant 10 secondes, valeur par défaut, procédez comme suit:Assurez-vous également que vous ajoutez # avant la ligne GRUB_HIDDEN_TIMEOUT = 0:
Puis faites un
sudo update-grub
et redémarrez.la source
J'avais l'habitude d'utiliser le gestionnaire de démarrage, comme l'a souligné Chad - 24216, mais hélas, il n'est plus maintenu, ni dans les référentiels.
Il a été remplacé par "grub-customizer", qui, même s'il est à jour, ne figure pas non plus dans les référentiels standard. Pour l'ajouter et l'installer, procédez comme suit au terminal:
Appuyez sur Entrée pour confirmer l'ajout du PPA.
Appuyez sur Y pour confirmer
Vous pouvez maintenant lancer grub-customizer de la manière habituelle. Si vous ignorez la liste complète que vous verrez au premier lancement, appuyez simplement sur le bouton "Préférences" de la barre d'outils pour obtenir une boîte de dialogue récapitulative dans laquelle vous pourrez modifier la valeur de délai et l'élément de menu par défaut, comme indiqué ci-dessous:
Sources:
Gestionnaire de démarrage est mort
PPA personnalisateur de grub
la source
Il y a deux façons de le faire
Utilisation du gestionnaire de démarrage (disponible jusqu’au 12.04)
Installez-le en tapant:
S'ouvrir
start-up manager
Changer le délai d'attente à 10 secondes
Utiliser Grub Customiser
Pour l'ajouter et l'installer, procédez comme suit au terminal (vous devez ajouter un PPA):
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
Appuyez sur Entrée, puis tapez
sudo apt-get update
sudo apt-get install grub-customizer
Et appuyez sur Y pour confirmer
Cliquez sur l'
General
onglet et modifiez le délai d'attente à 10 secondesJ'espère que ça t'as aidé.
la source
La réponse de Web-E est vraiment la meilleure façon de le faire. Toutefois, si vous souhaitez une méthode graphique de modification de GRUB ne nécessitant pas la modification d'un fichier, vous pouvez télécharger une installation "startupmanager" à partir de USC ou de Synaptic. Ou, si Universe repo est activé, vous pouvez ouvrir Terminal et l’installer en tapant:
la source
Vous devez changer le délai d'attente pour grub.
Consultez ce guide pour obtenir des instructions très simples sur la modification du délai de sélection du délai d’expiration / du système d'exploitation de grub:
comment changer l'heure pour le menu de sélection os dans grub
la source