7Sep

Comment configurer les paramètres du chargeur de démarrage GRUB2

click fraud protection

Ubuntu et la plupart des autres distributions Linux utilisent maintenant le chargeur de démarrage GRUB2.Vous pouvez modifier ses paramètres pour sélectionner un système d'exploitation par défaut, définir une image d'arrière-plan et choisir combien de temps GRUB compte à rebours avant de démarrer automatiquement le système d'exploitation par défaut.

Nous avons configuré GRUB2 sur Ubuntu 14.04 ici, mais le processus devrait être similaire pour les autres distributions Linux. Vous avez peut-être personnalisé les paramètres d'origine de GRUB en modifiant son fichier menu.lst par le passé, mais le processus est maintenant différent.

GRUB2 Principes de base de la configuration

GRUB2 n'utilise pas de fichier menu.lst. Au lieu de cela, son fichier de configuration principal est le fichier /boot/grub/ grub.cfg. Cependant, vous ne devriez pas éditer ce fichier à la main! Ce fichier est juste pour l'usage propre de GRUB2.Il est automatiquement créé en exécutant la commande update-grub en tant que root - en d'autres termes, en exécutant sudo update-grub sur Ubuntu.

instagram viewer

Vos propres paramètres GRUB sont stockés dans le fichier grub /etc/default/.Modifiez ce fichier pour modifier les paramètres de GRUB2.Les scripts se trouvent également dans le répertoire /etc/grub.d/.Par exemple, sur Ubuntu, il y a des scripts ici qui configurent le thème par défaut. Il y a aussi un script os-prober qui vérifie les disques durs internes du système pour les autres systèmes d'exploitation installés - Windows, autres distributions Linux, Mac OS X, etc. - et les ajoute automatiquement au menu de GRUB2.

Lorsque vous exécutez la commande update-grub, GRUB combine automatiquement les paramètres du fichier grub /etc/default/, les scripts du répertoire /etc/grub.d/ et tout le reste, créant un fichier /boot/grub/ grub.cfg lu au démarrage.

En d'autres termes, pour personnaliser vos paramètres GRUB2, vous devez modifier le fichier grub /etc/default/, puis exécuter la commande sudo update-grub .

Modifier le fichier de configuration GRUB

Ouvrez le fichier grub /etc/default/ pour l'éditer dans un éditeur de texte standard. Si vous souhaitez utiliser un éditeur de texte graphique, ouvrez un terminal - ou appuyez sur Alt + F2 - et exécutez la commande suivante:

gksu gedit /etc/default/ grub

Pour un éditeur de terminal facile à utiliser - Nano - utilisez la commande suivante. Vous pouvez bien sûr utiliser n'importe quel éditeur de texte, y compris l'éditeur de texte vi standard.

sudo nano /etc/default/ grub

Le fichier grub /etc/default/ est court et devrait être facile à éditer. Comme avec tout autre fichier de configuration, vous devez modifier les options à l'état souhaité, puis modifier le fichier. Si l'une des options ci-dessous n'apparaît pas dans le fichier, ajoutez-la sur une nouvelle ligne. Si c'est le cas, modifiez la ligne existante au lieu d'en ajouter une en double.

Choisissez l'OS par défaut : Changez la ligne GRUB_DEFAULT = .Par défaut, GRUB_DEFAULT = 0 utilise la première entrée comme valeur par défaut - changez le nombre à 1 pour utiliser la deuxième entrée, 2 pour utiliser la troisième entrée, ou ainsi de suite. Vous pouvez également utiliser GRUB_DEFAULT = enregistré et GRUB démarrerait automatiquement le dernier système d'exploitation que vous avez choisi chaque fois que vous démarrez. Vous pouvez également spécifier une étiquette entre guillemets. Par exemple, si vous avez un système d'exploitation nommé Windows 7( chargeur) dans votre liste d'OS, vous pouvez utiliser GRUB_DEFAULT = "Windows 7( chargeur)"

Enregistrer un système d'exploitation par défaut : Si vous choisissez GRUB_DEFAULT = enregistré,vous devez également ajouter une ligne GRUB_SAVEDEFAULT = true - sinon cela ne fonctionnera pas.

Choisissez si GRUB est masqué : Avec un seul système d'exploitation installé, Ubuntu utilise par défaut GRUB pour démarrer automatiquement sur le système d'exploitation par défaut avec l'option GRUB_HIDDEN_TIMEOUT = 0.Cette option spécifie que GRUB sera caché et qu'il démarrera automatiquement sur le système d'exploitation par défaut après 0 seconde - autrement dit, immédiatement. Vous pouvez toujours accéder au menu en maintenant Shift au démarrage de votre ordinateur. Pour définir un délai d'expiration supérieur, utilisez quelque chose comme GRUB_HIDDEN_TIMEOUT = 5 - GRUB affichera un écran vide ou un écran de démarrage pendant cinq secondes, au cours de laquelle vous pouvez appuyer sur n'importe quelle touche pour afficher le menu. Pour éviter que GRUB ne soit automatiquement masqué, commentez la ligne - ajoutez juste un # avant qu'il ne lise # GRUB_HIDDEN_TIMEOUT = 0 .

Contrôle le délai d'expiration du menu de GRUB : Si GRUB n'est pas masqué automatiquement, le menu s'affichera à chaque démarrage de votre ordinateur. GRUB bottera automatiquement le système d'exploitation par défaut après une période de temps, généralement dix secondes. Pendant ce temps, vous pouvez choisir un autre système d'exploitation ou le laisser démarrer automatiquement. Pour modifier le délai, modifiez la ligne GRUB_TIMEOUT = 10 et entrez le nombre de secondes souhaité.(Rappelez-vous, ceci n'est utilisé que si GRUB n'est pas caché.) Pour empêcher GRUB de démarrer automatiquement et toujours attendre que vous choisissiez un OS, changez la ligne en GRUB_TIMEOUT = -1

Choisissez une image d'arrière plan : L' GRUB_BACKGROUNDLa ligne contrôle si une image d'arrière-plan est utilisée - par défaut, GRUB utilise un aspect monochrome blanc sur noir. Vous pouvez ajouter une ligne comme GRUB_BACKGROUND = "/home/user/Pictures/ background.png" pour spécifier un fichier image que GRUB utilisera.

Le fichier image doit répondre à diverses spécifications. GRUB prend en charge les images JPG / JPEG, mais celles-ci sont limitées à 256 couleurs - vous ne voudrez probablement pas utiliser d'image JPG.Au lieu de cela, vous voudrez probablement utiliser une image PNG qui peut avoir n'importe quel nombre de couleurs. Vous pouvez également utiliser un fichier image TGA.

Effectuez vos modifications Prenez effet

Pour que vos modifications prennent effet, enregistrez simplement le fichier texte - Fichier & gt;Enregistrez dans Gedit ou Ctrl + O, puis appuyez sur Entrée pour enregistrer le fichier dans Nano, puis exécutez la commande sudo update-grub .Vos modifications feront partie du fichier grub.cfg et seront utilisées chaque fois que vous démarrerez votre ordinateur.

Ce ne sont pas tous les paramètres de GRUB, mais ils sont les plus souvent modifiés. D'autres paramètres peuvent être personnalisés dans le fichier grub /etc/default/ ou en éditant les scripts dans le répertoire /etc/ grub.d.

Si vous ne voulez pas éditer les fichiers à la main, vous pourrez peut-être trouver des outils graphiques pour personnaliser GRUB2 dans les dépôts de logiciels de votre distribution Linux. La méthode ci-dessus devrait fonctionner même sur les distributions Linux où de tels outils ne sont pas facilement disponibles, ou si vous avez juste l'accès par ligne de commande et que vous voulez le faire à la main.