Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente |
issue86:grub_2_multibooting [2014/12/10 17:04] – andre_domenech | issue86:grub_2_multibooting [2014/12/10 19:44] (Version actuelle) – d52fr |
---|
I’m sure at this stage you do not want to edit grub.cfg, and it is not recommended either. So have no worries: the GRUB configuration file is created for you when you type 'sudo update-grub' in a terminal. The update-grub command is delivered with the grub-pc package, which was also responsible for installing GRUB on the MBR. The update-grub command reads the contents of several files: on the one hand /etc/default/grub, which contains several personal settings, and on the other hand the executable scripts under /etc/grub.d/. We will play with the scripts next time.** | I’m sure at this stage you do not want to edit grub.cfg, and it is not recommended either. So have no worries: the GRUB configuration file is created for you when you type 'sudo update-grub' in a terminal. The update-grub command is delivered with the grub-pc package, which was also responsible for installing GRUB on the MBR. The update-grub command reads the contents of several files: on the one hand /etc/default/grub, which contains several personal settings, and on the other hand the executable scripts under /etc/grub.d/. We will play with the scripts next time.** |
| |
Maintenant, nous allons nous concentrer sur le menu GRUB. C'est le contenu de /boot/grub/grub.cfg qui contrôle ces composants. Regardez bien grub.cfg. C'est le fichier que lit GRUB. Qu'y a-t-il dedans ? Rien que des commandes GRUB ! Le manuel officiel sur gnu.org l'appelle « GRUB's built-in scripting language » (le langage pour scripts intégré à GRUB). Si vous regardez avec attention, il se peut que vous compreniez pas mal de choses qui y figurent : plusieurs modules se chargent avec insmod, par exemple, pour gérer des partitions ms-dos ou pour afficher des images png ou jpeg. En outre, plusieurs des soi-disant « entrées du menu » (des lignes du menu GRUB) sont listées par leur nom composé du système d'exploitation plus la version du noyau, suivi des instructions dont GRUB a besoin pour démarrer l'OS correspondant. Des instructions essentielles pour démarrer un OS s'affichent en dessous de chaque entrée dans le menu : le disque dur et la partition où ce système d'exploitation-là réside et le chemin du répertoire et le nom du noyau qui devra être démarré et celui de l'image ramdisk initial (qui se charge en premier). La commande GRUB qui pointe vers le noyau Linux est... linux. | Maintenant, nous allons nous concentrer sur le menu GRUB. C'est le contenu de /boot/grub/grub.cfg qui contrôle ces composants. Regardez bien grub.cfg. C'est le fichier que lit GRUB. Qu'y a-t-il dedans ? Rien que des commandes GRUB ! Le manuel officiel sur gnu.org l'appelle « GRUB's built-in scripting language » (le langage pour scripts intégré à GRUB). Si vous regardez avec attention, il se peut que vous compreniez pas mal de choses qui y figurent : plusieurs modules se chargent avec insmod, par exemple, pour gérer des partitions ms-dos ou pour afficher des images png ou jpeg. En outre, plusieurs des soi-disant « entrées du menu » (des lignes du menu GRUB) sont listées par leur nom composé du système d'exploitation plus la version du noyau, suivi des instructions dont GRUB a besoin pour démarrer l'OS correspondant. Des instructions essentielles pour démarrer un OS s'affichent en dessous de chaque entrée dans le menu : le disque dur et la partition où ce système d'exploitation-là réside et le chemin du répertoire et le nom du noyau qui devra être démarré et celui de l'image ramdisk initiale (qui se charge en premier). La commande GRUB qui pointe vers le noyau Linux est... linux. |
| |
À ce stade, je suis certain que vous ne voulez pas éditer grub.cfg et ce n'est pas recommandé non plus. Mais pas d'inquiétude à avoir : le fichier de configuration de GRUB est créé pour vous quand vous saisissez « sudo update-grub » dans un terminal. La commande update-grub est livrée avec le paquet grub-pc, celui qui a installé GRUB sur le MBR. la commande update-grub lit le contenu de plusieurs fichiers : d'une part, /etc/default/grub, qui contient plusieurs paramètres personnalisés, et, d'autre part, les scripts exécutables sous /etc/grub.d/. Nous jouerons avec les scripts la prochaine fois. | À ce stade, je suis certain que vous ne voulez pas éditer grub.cfg et ce n'est pas recommandé non plus. Mais pas d'inquiétude à avoir : le fichier de configuration de GRUB est créé pour vous quand vous saisissez « sudo update-grub » dans un terminal. La commande update-grub est livrée avec le paquet grub-pc, celui qui a installé GRUB sur le MBR. la commande update-grub lit le contenu de plusieurs fichiers : d'une part, /etc/default/grub, qui contient plusieurs paramètres personnalisés, et, d'autre part, les scripts exécutables sous /etc/grub.d/. Nous jouerons avec les scripts la prochaine fois. |
• GRUB_CMDLINE_LINUX_DEFAULT règle les paramètres du noyau qui sera ajouté à la commande linux, pour chaque entrée du menu de distrib. Linux par défaut dans grub.cfg. Les entrées de « recovery mode » (mode restauration) ne sont pas incluses. | • GRUB_CMDLINE_LINUX_DEFAULT règle les paramètres du noyau qui sera ajouté à la commande linux, pour chaque entrée du menu de distrib. Linux par défaut dans grub.cfg. Les entrées de « recovery mode » (mode restauration) ne sont pas incluses. |
| |
• L'ajout de GRUB_BACKGROUND=/path/filename règle l'image de démarrage affiché en tant qu'arrière-plan du menu. Par ailleurs, une image d'arrière-plan (jpeg ou png) insérée dans /boot/grub devrait être reconnue par update-grub. | • L'ajout de GRUB_BACKGROUND=/path/filename règle l'image de démarrage affichée en tant qu'arrière-plan du menu. Par ailleurs, une image d'arrière-plan (jpeg ou png) insérée dans /boot/grub devrait être reconnue par update-grub. |
| |
Changer ces paramètres comme vous voulez. Ensuite, c'est le moment de mettre /boot/grub/grub.cfg en conséquence. Tout d'abord, sauvegardez le grub.cfg existant. Puis lancez ceci dans un terminal : | Changez ces paramètres comme vous voulez. Ensuite, c'est le moment de mettre /boot/grub/grub.cfg en conséquence. Tout d'abord, sauvegardez le grub.cfg existant. Puis lancez ceci dans un terminal : |
| |
sudo update-grub | sudo update-grub |
Vous verrez quelques messages pendant le processus, qui devrait durer moins d'une minute. Après cela, regardez grub.cfg pour vérifier si tout est comme il faut. Redémarrez et profitez pleinement des modifications ! | Vous verrez quelques messages pendant le processus, qui devrait durer moins d'une minute. Après cela, regardez grub.cfg pour vérifier si tout est comme il faut. Redémarrez et profitez pleinement des modifications ! |
| |
Si vous démarrez avec un grub.cfg instable (ou absent), vous vous retrouverez dans le terminal GRUB ou, pire, en mode restauration de GRUB. C'est donc une très bonne idée d'être prêt à affronter cela (voir les ressources en ligne). La meilleure façon de s'y préparer est de s'entrainer dans le terminal GRUB et d'apprendre à démarrer des systèmes d'exploitation à partir de là. Il vaudrait mieux le faire avant d'expérimenter avec grub.cfg (car, ainsi, vous avez toujours un menu GRUB qui fonctionne à votre disposition). Quand vous voyez le menu GRUB pendant le démarrage, appuyez sur « c » pour avoir l'invite GRUB (et sur Échap pour revenir au menu). Vous pouvez maintenant apprendre à exécuter des commandes GRUB manuellement (au lieu de dépendre du menu). Je ne vais énumérer que quelques commandes ici pour commencer : | Si vous démarrez avec un grub.cfg instable (ou absent), vous vous retrouverez dans le terminal GRUB ou, pire, en mode restauration de GRUB. C'est donc une très bonne idée d'être prêt à affronter cela (voir les ressources en ligne). La meilleure façon de s'y préparer est de s'entraîner dans le terminal GRUB et d'apprendre à démarrer des systèmes d'exploitation à partir de là. Il vaudrait mieux le faire avant d'expérimenter avec grub.cfg (car, ainsi, vous avez toujours un menu GRUB qui fonctionne à votre disposition). Quand vous voyez le menu GRUB pendant le démarrage, appuyez sur « c » pour avoir l'invite GRUB (et sur Échap pour revenir au menu). Vous pouvez maintenant apprendre à exécuter des commandes GRUB manuellement (au lieu de dépendre du menu). Je ne vais énumérer que quelques commandes ici pour commencer : |
| |
set pager=1 # pour éviter qu'un long menu GRUB ne dépasse l'écran | set pager=1 # pour éviter qu'un long menu GRUB ne dépasse l'écran |