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

25

J'ai Windows 7 et Ubuntu 12.04 dans mon système et j'ai vu que le temps par défaut pour le menu de sélection os est seulement 10 secondes, comme je suis nouveau sur Linux quelqu'un peut-il me dire comment augmenter cette fois?     

posée Shirshendu Bhowmick 10.05.2012 - 20:33
la source

6 réponses

35
  • Appuyez sur Alt + F2

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

  • modifiez la valeur GRUB_TIMEOUT à 15 ou 20 selon vos besoins. (valeur en seconde) ou Définir le délai d'expiration à -1 obligera GRUB à attendre indéfiniment jusqu'à ce que vous sélectionniez manuellement une entrée et que vous appuyiez sur Entrée, Ça devrait ressembler à

    GRUB_TIMEOUT=10

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

    sudo update-grub

réponse donnée Web-E 10.05.2012 - 20:38
la source
11

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

Vous devez définir la valeur de GRUB_TIMEOUT sur combien de temps (en secondes) le menu grub doit apparaître. GRUB_TIMEOUT est en réalité le nombre de secondes avant que l'entrée par défaut ne soit automatiquement démarrée. Si vous souhaitez voir le menu pendant 10 secondes, ce qui est la valeur par défaut, faites ce qui suit:

GRUB_TIMEOUT=10

Veillez également à ajouter # avant la ligne GRUB_HIDDEN_TIMEOUT = 0:

#GRUB_HIDDEN_TIMEOUT=0

Ensuite, faites un sudo update-grub et redémarrez.

    
réponse donnée Peachy 15.07.2012 - 16:47
la source
6

J'avais l'habitude d'utiliser le gestionnaire de démarrage, comme indiqué par Chad - 24216, mais hélas, il n'est plus maintenu ni dans les référentiels.

Il a été remplacé par "grub-customizer" qui, à jour, ne figure pas non plus dans les référentiels standard. Pour l'ajouter et l'installer, procédez comme suit sur le 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 lors de son lancement, appuyez simplement sur le bouton "Préférences" de la barre d’outils pour obtenir une boîte de dialogue récapitulative vous permettant de modifier la valeur du délai et l’élément de menu par défaut: / p>

Sources:

Le gestionnaire de démarrage est mort

PPA de Customizer Grub

    
réponse donnée John T 11.05.2012 - 03:45
la source
3

Il y a deux façons de le faire

  1. Gestionnaire de démarrage (le développement est interrompu)
  2. Personnalisation Grub (pas encore dans les dépôts officiels)

Utilisation du gestionnaire de démarrage (disponible jusqu'à 12.04)

Installez-le en tapant:

sudo apt-get update
sudo apt-get install startupmanager
  1. Ouvrez start-up manager

  2. Modifier le délai d’expiration à 10 secondes

Utilisation de Grub Customiser

  1. Pour l'ajouter et l'installer, il suffit de procéder 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

  2. Cliquez sur l’onglet General et modifiez le délai d’expiration à 10 secondes

J'espère que ça aide.

    
réponse donnée Ashu 15.07.2012 - 16:38
la source
0
La réponse de Web-E est vraiment la meilleure façon de le faire. Cependant, si vous souhaitez modifier l'interface graphique de GRUB sans modifier un fichier, vous pouvez télécharger un programme d'installation "startupmanager" depuis USC ou Synaptic. Ou avec Univers repo activé, vous pouvez ouvrir Terminal et installer en tapant:

sudo apt-get update
sudo apt-get install startupmanager
    
réponse donnée Chad--24216 11.05.2012 - 02:01
la source
0

Vous devez modifier le délai d'attente pour grub.
Jetez un coup d’œil à ce guide pour obtenir des instructions très simples sur la modification du délai de sélection du timeout / os de grub:

comment changer l'heure pour os menu de sélection dans grub

    
réponse donnée Fernhill Linux Project 15.07.2012 - 16:31
la source

Lire d'autres questions sur les étiquettes