Comment changer l'heure du menu de sélection du système d'exploitation dans GRUB?

33

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?

Shirshendu Bhowmick
la source

Réponses:

43
  • Appuyez sur Alt+F2

  • Tapez la commande, gksu gedit /etc/default/grub

  • remplacez la GRUB_TIMEOUTvaleur par 15 ou 20 selon les besoins. (valeur en secondes) ou si vous définissez le délai d'attente sur -1, GRUB attendra indéfiniment jusqu'à ce que vous sélectionniez manuellement une entrée et que vous appuyiez sur entrée. Cela devrait ressembler à

    GRUB_TIMEOUT=10

  • sauvegarde le. Fermez gedit. Maintenant, ouvrez un terminal et lancez

    sudo update-grub

Web-E
la source
J'avais besoin des privilèges root pour éditer le fichier grub sinon il donnait l'erreur d'accès refusé, comme mentionné ici
RBT
12

Vous devez éditer le /etc/default/grubfichier en ouvrant un terminal et en exécutant cette commande:sudo gedit /etc/default/grub

Vous devez définir la valeur de GRUB_TIMEOUTcombien de temps (en secondes) vous souhaitez que le menu de menu apparaisse. GRUB_TIMEOUTest 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:

GRUB_TIMEOUT=10

Assurez-vous également que vous ajoutez # avant la ligne GRUB_HIDDEN_TIMEOUT = 0:

#GRUB_HIDDEN_TIMEOUT=0

Puis faites un sudo update-grubet redémarrez.

Peachy
la source
6

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:

sudo add-apt-repository ppa:danielrichter2007/grub-customizer

Appuyez sur Entrée pour confirmer l'ajout du PPA.

sudo apt-get update
sudo apt-get install grub-customizer

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:

Écran de préférences Grub Customizer

Sources:

Gestionnaire de démarrage est mort

PPA personnalisateur de grub

John T
la source
4

Il y a deux façons de le faire

  1. Gestionnaire de démarrage (développement arrêté)
  2. Personnalisateur Grub (pas encore dans les dépôts officiels)

Utilisation du gestionnaire de démarrage (disponible jusqu’au 12.04)

Installez-le en tapant:

sudo apt-get update
sudo apt-get install startupmanager
  1. S'ouvrir start-up manager

  2. Changer le délai d'attente à 10 secondes

    entrez la description de l'image ici


Utiliser Grub Customiser

  1. 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

    Écran de préférences Grub Customizer

  2. Cliquez sur l' Generalonglet et modifiez le délai d'attente à 10 secondes


J'espère que ça t'as aidé.

Ashu
la source
1
Le gestionnaire de démarrage est-il installé par défaut ?. J'ai aussi entendu dire que ce projet est mort maintenant.
Anwar
@AnwarShah l'op n'a pas spécifié sa version de système d'exploitation ... l'ancien système d'exploitation a le gestionnaire de démarrage, n'est-ce pas?
Ashu
Dans ce cas, vous pouvez clarifier le PO. En outre, je ne pense pas que le gestionnaire de démarrage ait été inclus dans les versions précédentes
Anwar
@ AnwarShah, je vais également inclure l'option pour les nouvelles versions d'ubuntu.
Ashu
@AnwarShah a édité ma réponse .. voyez si cela correspond à ce que vous vouliez.
Ashu
0

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:

sudo apt-get update
sudo apt-get install startupmanager
Tchad - 24216
la source
Le package de gestionnaire de démarrage n'est pas disponible dans 12.04.
Web-F
0

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

Fernhill Linux Project
la source