Documentation du Dr FRAPPE

Ce wiki regroupe les résultats de mes expériences en informatique accumulés au cours de mes recherches sur le net.

Dans la mesure du possible, j'ai cité mes sources ; il en manque certainement… :-)

GRUB 2 (= GRUB-PC) : Gestionnaire de démarrage

1. Tutoriels

2. Configuration de GRUB 2

Les fichiers de GRUB 2

Pour changer la configuration, les fichiers à modifier sont /etc/default/grub et les fichiers du répertoire /etc/grub.d.

Après avoir édité ces fichiers, exécuter

~$ sudo update-grub

pour intégrer les changements dans le menu GRUB 2.

Des applications comme Grub Customizerpermettent de faire certains changements courants, comme le système d'exploitation/noyau par défaut et le délai d'expiration du menu.

2.1. fichier /etc/default/grub

3. Modification des entrées

3.1. La ligne de base : le fichier /etc/default/grub

Éditer la ou les lignes commençant par GRUB_DISTRIBUTOR. Ces lignes définissent ce qui sera affiché à l'écran.

Choisir parmi les options suivantes (dé-commenter) :

  • GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian` # donne : Ubuntu, Linux 2.6...

  • #GRUB_DISTRIBUTOR=`lsb_release -d -s 2> /dev/null || echo Debian` # donne : Ubuntu 9.10, Linux 2.6...

  • #GRUB_DISTRIBUTOR=`echo -n $(lsb_release -cds 2> /dev/null || echo Debian)` # donne : Ubuntu 9.10 karmic, Linux 2.6....

3.2. Ajouter des entrées

Pour ajouter des entrées, éditer avec les droits d'administration le fichier /etc/grub.d/40_custom pour y ajouter les entrées voulues. Tout ce qui est présent dans ce fichier sera recopié tel quel dans le fichier grub.cfg.

Exemple :

    ### BEGIN /etc/grub.d/40_custom ###
    # This file provides an easy way to add custom menu entries. Simply type the
    # menu entries you want to add after this comment. Be careful not to change
    # the 'exec tail' line above.

    menuentry "Windows 7" {
    set root=(hd0,1)
    chainloader +1
    }

4. Créer une clé USB de secours

Avant toute installation de nouveau système, il peut être judicieux de faire une clé USB de secours pour pouvoir remettre en route votre Grub, au cas où.

Avec Gparted (présent sur le live-cd d'Ubuntu), supprimer les partitionss existantes sur la clé et créer 2 partitions :

  • une de 8 Mo de type non formaté ; lui affecter le drapeau boot
  • une pour le reste, de type fat32 ; lui affecter l'étiquette GRUB-SOS pour qu'elle se monte sous ce nom.
  • lancer le gestionnaire de fichiers et cliquer sur la clé GRUB-SOS pour voir son contenu : elle est montée automatiquement sur /media/NomUtilisateur
  • lancer la commande suivante (sur un live-cd Ubuntu, NomUtilisateur=ubuntu) :
    ~$ sudo grub-install --root-directory=/media/ubuntu/GRUB-SOS /dev/sdb
    

Dans le cas d'une partition de boot séparée, remplacer root-directory par boot-directory.

Maintenant, copier coller tout le contenu du dossier /boot/grub du système à démarrer vers le dossier identique de la clé USB.

Dorénavant, en démarrant l'ordinateur sur la clé USB, on accède au système principal (car il est appelé par son UUID).

On peut aussi éditer le fichier grub.cfg de la clé USB 1)

Par exemple, on peut y mettre un menu de chaînage ou un menu pour lancer l'iso d'un live-cd,..

5. Conclusion

6. Problèmes connus

7. Voir aussi

1)
sous réserve de faire un 'clic droit/propriétés/permissions' dessus pour le mettre en 'lecture/écriture' au lieu de 'lecture seule'

Navigation

éditer cette page

QR Code
QR Code GRUB 2 (= GRUB-PC) : Gestionnaire de démarrage (generated for current page)