Identifiant : Mot de passe :
Table des matières
Cette page ne concerne qu'une des utilisations possibles de Grub2 dont la documentation détaillée est disponible .
Lancer des images iso directement depuis GRUB 2
Pour lancer une distribution linux sans avoir à graver sur Cd, les solutions existantes ont le plus souvent le recours à une clé USB gravée avec
ou avec un utilitaire comme , , , , etc.
On peut aussi utiliser
qui ne nécessite pas de clé USB mais dont l'inconvénient est qu'il ne teste pas votre configuration mais un matériel émulé.
Voici la procédure à suivre pour lancer vos isos présents sur le disque dur directement avec .
Ce type de lancement ne fonctionne pas avec toutes les distributions Linux. Le fonctionnement est aussi très différent d'une distribution à l'autre.
Objectifs de ce tutoriel
pouvoir tester toutes les versions Ubuntu sur votre matériel,
pouvoir installer ces distributions sans avoir à graver un CD,
connaitre aussi les astuces de lancement des isos en dehors du seul monde Ubuntu (pour de la maintenance : gparted live, rescueCD,.. ou pour tester d'autres environnements : dernières versions de , , Mate, ,..)
Pré-requis
Vérifier que la version de Grub est une version 1.97 ou supérieure. grub-install -V
Dans les exemples cités, la partition (hd0,2) soit /dev/sda2 .
Parti pris pour ce tutoriel
Un dossier unique
Pour simplifier les descriptions dans ce tutoriel, on créera un dossier unique pour tous les fichiers 'iso' :
on créera un dossier 'isos' au choix sur la partition système ou une partition de données (clic droit 'Ouvrir un terminal ici' à l'endroit choisi dans le gestionnaire de fichiers)
on changera le propriétaire du dossier pour écrire dedans sans nécessité d'avoir les
on créera un lien symbolique dans le dossier 'Téléchargements' pour y accéder facilement
Pour cela, on saisira les commandes suivantes dans le terminal:
# pour aller à la racine de la partition si ce n'est déjà fait
sudo mkdir isos
sudo chown ben:ben isos
# username:groupname : à adapter à votre configuration (le plus souvent le nom du groupe est identique à celui de l'utilisateur)
ln -f -s -r -t ~/Téléchargements isos
Donc, tous les fichiers 'iso' téléchargés seront désormais déplacés dans ce dossier 'isos' dans 'Téléchargements'.
Un sous-menu
Modifier le menu principal en configurant le fichier /etc/grub.d/40_custom ou /boot/grub/custom.cfg nous obligerait à lancer la commande 'sudo update-grub' après chaque modification. Pour éviter cela :
Dans 40_custom, on créera une bonne fois pour toutes une ligne de menu menant vers un fichier de configuration totalement indépendant.
Ce fichier de configuration sera mis au même endroit que les fichiers 'iso' : c'est ainsi facile de le modifier et il ne nécessite pas les .
On configure donc le fichier /etc/grub.d/40_custom ainsi :
(Cliquez sur le nom du fichier pour l'afficher dans votre éditeur de texte)
menuentry &
true # true permet d'afficher la ligne de titre (ici une ligne vide pour 'aérer' le menu) sans rien faire d'autre
menuentry &===&& Distribs lancées depuis leur fichier 'iso'& {
set root=(hd0,2)
configfile /isos/00_isoboot.cfg
Note : avec la commande 'set root=(hd0,2)', on définit comme partition où est le dossier 'isos' /dev/sda2 (c'est donc à adapter à votre configuration).
Pour activer ce changement, il faut lancer la commande :
sudo update-grub
On aura ainsi une ligne à notre menu grub pour se rendre sur une page dédiée aux lancements de fichiers 'iso'.
Le fichier de configuration
Paramètres généraux
Ce sont des paramètres qui concernent tous les menus qu'on évite ainsi de répéter dans chacun d'entre eux :
### Lancement des modules grub qui ne seraient pas déjà lancés en standard
#insmod ntfs
# décommentez si les isos sont sur une partion MS Windows
insmod loopback
insmod iso9660
### la racine est définie pour tous les menus qui suivront car tous les isos sont au même endroit
set root=(hd0,2)
# correspond à /dev/sda2 (la commande peut être aussi set root=(hd0,msdos2) ou (hd0,gpt2) selon le type de votre partition)
# 1. Uniquement si vous bootez depuis le dur interne
### Important concernant /dev/sdXX et (hdx,x)
## Si vous bootez vos ISOs depuis un disque dur externe USB
## (hdx,x) sera automatiquement défini comme (hd0,x) par grub2, et cela même si vous possédez plusieurs HDD interne.
### Par-contre, /dev/sdXX doit être configuré différemment suivant le nombre de disques durs que possède la machine.
# Exemples: Si vous bootez depuis un HDD Externe USB,
# 1. et si votre machine possède un disque dur interne &Unique& , alors /dev doit être configuré comme /dev/sdb2
# 2. et si votre machine possède deux disques durs interne , alors /dev doit être configuré comme /dev/sdc2
### effacer les deux lignes ci-dessous si vous ne voulez pas de menu par défaut
set default=&2&
# la ligne de menu qui sera sélectionnée par défaut sera la 3ème (on compte à partir de 0 dans grub !)
set timeout=8
# durée en secondes avant le lancement du menu par défaut
Habillage (mode texte)
Si votre grub principal est en mode texte, il est préférable de conserver ici un habillage en mode texte.
#insmod gfxterm
# nécéssaire pour personnaliser l'aspect du menu. Peut être déjà lancé si vous avez une image de fond pour votre menu principal
set gfxmode= # définit la résolution d'affichage du menu grub
insmod jpeg
# insmod png
si votre image de fond est au format png
background_image -m stretch /isos/0_image_de_fond.jpg
# si votre image ne s'affiche pas, se référer à la doc (tutoriel:Grub2_paramétrage_manuel#Fond d'écran)
### note: pour que le texte des menus reste lisible, une image plus foncée que la normale est conseillée.
### couleurs dispo : black, blue, green, cyan, red, magenta, brown, light-gray, dark-gray, light-blue, light-green, light-cyan, light-red, light-magenta, yellow, white
### black équivaut à transparent lorsqu'on a une image de fond
set color_normal=light-cyan/black
# définit les couleurs de texte/fond d'écran autour du cadre de menu
set menu_color_normal=light-cyan/black
# définit les couleurs de texte/fond d'écran dans le cadre de menu
set menu_color_highlight=light-magenta/blue
# définit les couleurs de texte/surbrillance pour le menu sélectionné
set gfxpayload=
# définit la résolution d'affichage par défaut en sortant du menu grub (par défaut il est à 'keep')
Si votre grub principal s'affiche via un thème, on pourra en définir un autre ici pour se repérer plus facilement (on ne cumulera pas avec le paragraphe précédent : c'est soit l'un soit l'autre).
Le thème utilisé vient de . Les polices de caractères doivent être lancées 'manuellement' ainsi que le fond d'écran.
insmod png # s'il n'est pas déjà lancé pour le thème du menu principal
loadfont /isos/themes/Crunchy-ubuntu-ish/Ubuntu_normal.pf2
loadfont /isos/themes/Crunchy-ubuntu-ish/Ubuntu_title.pf2
background_image /isos/themes/Crunchy-green/term_borders_c.png
# le fond d'écran n'est utile que pour la ligne de commande ou l'édition d'un des menus
theme=/isos/themes/Crunchy-ubuntu-ish/theme-fr.txt
Cet extrait de fichier est à ajouter éventuellement à votre fichier de configuration et à modifier à votre convenance.
menuentry &.. Ubuntu 16.04& {
set isofile=&/isos/ubuntu-16.04-desktop-amd64.iso&
loopback loop $isofile
linux (loop)/casper/vmlinuz.efi locale=fr_FR bootkbd=fr console-setup/layoutcode=fr iso-scan/filename=$isofile boot=casper file=/cdrom/preseed/ubuntu.seed noprompt quiet splash --
initrd (loop)/casper/initrd.lz
On dupliquera ce menu autant de fois que de menus souhaités. 'root=..' étant déjà indiqué dans les paramètres généraux, il n'est pas répété dans le menu type.
set isofile est à adapter en fonction du fichier iso téléchargé,
loopback loop $isofile peut être modifié en loopback loop (hd0,2)$isofile si le fichier n'est pas trouvé par grub,
/cdrom/preseed/ est à adapter en fonction de la variante (C'est souvent la seule chose qui diffère dans la ligne 'linux loop' des variantes ubuntu, cf paragraphe suivant).
Ubuntu et ses variantes
Voici les lignes 'vmlinuz' pour toutes les variantes d'Ubuntu :
linux (loop)/casper/vmlinuz.efi locale=fr_FR bootkbd=fr console-setup/layoutcode=fr iso-scan/filename=$isofile boot=casper file=/cdrom/preseed/ubuntu.seed noprompt quiet splash –
linux (loop)/casper/vmlinuz.efi locale=fr_FR bootkbd=fr console-setup/layoutcode=fr iso-scan/filename=$isofile boot=casper file=/cdrom/preseed/kubuntu.seed noprompt quiet splash –
linux (loop)/casper/vmlinuz.efi locale=fr_FR bootkbd=fr console-setup/layoutcode=fr iso-scan/filename=$isofile boot=casper file=/cdrom/preseed/lubuntu.seed noprompt quiet splash –
(nouvelle variante depuis 2017) :
linux (loop)/casper/vmlinuz.efi locale=fr_FR bootkbd=fr console-setup/layoutcode=fr iso-scan/filename=$isofile boot=casper file=/cdrom/preseed/ubuntu-budgie.seed noprompt quiet splash –
linux (loop)/casper/vmlinuz.efi locale=fr_FR bootkbd=fr console-setup/layoutcode=fr iso-scan/filename=$isofile boot=casper file=/cdrom/preseed/ubuntu-gnome.seed noprompt quiet splash –
linux (loop)/casper/vmlinuz.efi locale=fr_FR bootkbd=fr console-setup/layoutcode=fr iso-scan/filename=$isofile boot=casper file=/cdrom/preseed/ubuntu-mate.seed noprompt quiet splash –
linux (loop)/casper/vmlinuz.efi locale=fr_FR bootkbd=fr console-setup/layoutcode=fr iso-scan/filename=$isofile boot=casper file=/cdrom/preseed/ubuntustudio.seed noprompt quiet splash –
linux (loop)/casper/vmlinuz.efi locale=fr_FR bootkbd=fr console-setup/layoutcode=fr iso-scan/filename=$isofile boot=casper file=/cdrom/preseed/xubuntu.seed noprompt quiet splash –
Attention ! Pour les versions 32 bits d'Ubuntu et ses variantes, vmlinuz.efi doit être modifié en vmlinuz tout court.
Dérivés : LinuxMint,..
linux (loop)/casper/vmlinuz.efi locale=fr_FR bootkbd=fr console-setup/layoutcode=fr iso-scan/filename=$isofile boot=casper file=/cdrom/preseed/linuxmint.seed noprompt quiet splash –
linux (loop)/casper/vmlinuz locale=fr_FR bootkbd=fr console-setup/layoutcode=fr iso-scan/filename=$isofile boot=casper file=/cdrom/preseed/zevenos.seed persistent noprompt quiet splash –
Installer en mode graphique
2 solutions :
avec l'ic?ne &installer Ubuntu& disponible sur le bureau des différentes variantes. Cependant, pour que l'installation ne soit pas bloquée, il faut démonter la partition d'où est lancé l'iso (nommée '/isodevice' par ubuntu) :sudo umount -l -r -f /isodevice
avec un menu grub dédié qui lance directement l'installation avec l'option 'only-ubiquity'. Voici par exemple la ligne 'linux loop' pour ubuntu-MATE.
linux (loop)/casper/vmlinuz.efi locale=fr_FR bootkbd=fr console-setup/layoutcode=fr iso-scan/filename=$isofile boot=casper file=/cdrom/preseed/ubuntu-mate.seed noprompt only-ubiquity quiet splash —
L'option 'only-ubiquity' ou 'maybe-ubiquity' ne fonctionne pas toujours. Le démontage de 'isodevice' puis clic sur l'ic?ne 'installer ubuntu', lui, a toujours fonctionné.
Installer en mode texte
Télécharger un 'mini.iso'
configuré dans un menu grub avec ces 2 lignes :
linux (loop)/linux
initrd (loop)/initrd.gz
Autre alternative :
(C'est la seule autre solution car les versions 'alternate' ou 'server' lancée depuis Grub cherchent toujours un cd dans un lecteur cd et on ne va pas plus loin).
Distributions dédiées à la maintenance
Comme pour ubuntu, n'oubliez pas les paramètres généraux (surtout les 'insmod' et 'set root') et le menu de base dont on modifiera les lignes 'linux loop' et 'initrd loop' comme indiquées en italique.
Parted Magic (payant)
Très complet mais pas gratuit (, ) :
dernière version gratuite (pmagic_.iso)
linux (loop)/pmagic/bzImage keymap=fr-latin1 fr_FR
(loop)/pmagic/initrd.img
version 32 bits actuelle
linux (loop)/pmagic/bzImage iso_filename=$isofile keymap=fr-latin1 fr_FR load_ramdisk=1
initrd (loop)/pmagic/initrd.img (loop)/pmagic/fu.img (loop)/pmagic/m32.img
version 64 bits actuelle
linux (loop)/pmagic/bzImage64 iso_filename=$isofile keymap=fr-latin1 fr_FR load_ramdisk=1
initrd (loop)/pmagic/initrd.img (loop)/pmagic/fu.img (loop)/pmagic/m64.img
GParted Live
Elle contient
et . Par contre, le gestionnaire de fichiers est un peu limité (il n'affiche pas les partitions non montées) -
linux (loop)/live/vmlinuz boot='live' union='overlay' username='user' config locales='fr_FR.UTF-8' keyboard-layouts='fr' components noswap noeject toram='filesystem.squashfs' ip=&& findiso=&${isofile}&
initrd (loop)/live/initrd.img
SystemRescueCd
Seuls les outils via l'interface graphique sont accessibles. Aucune tentative de lancer les outils en mode texte lancés via syslinux n'a abouti.
linux (loop)/isolinux/rescue64 isoloop=$isofile rootfs=/sysresccd setkmap=fr nomodeset docache dostartx
initrd (loop)/isolinux/initram.igz
Pour un lancement en 32 bits : linux (loop)/isolinux/rescue32 isoloop=$isofile rootfs=/sysresccd setkmap=fr nomodeset docache dostartx
CloneZilla
vous permettra de cloner une partition vers une image ou une autre partition ou inversement.
(basée sur Debian)
linux (loop)/live/vmlinuz persistent boot=live findiso=$isofile union=overlay username=user config components quiet noswap lang=fr_FR.UTF-8 locales=fr_FR.UTF-8 edd=on nomodeset nodmraid ocs_live_run=\&ocs-live-general\& ocs_live_extra_param=\&\& keyboard-layouts=fr ocs_live_batch=\&no\& vga=normal ip=frommedia nosplash toram=filesystem.squashfs timezone=Europe/Paris utc=yes
initrd (loop)/live/initrd.img
(basée sur Ubuntu)
linux (loop)/live/vmlinuz persistent boot=live findiso=$isofile union=overlay username=user hostname=xenial config components quiet noswap lang=fr_FR.UTF-8 locales=fr_FR.UTF-8 edd=on nomodeset nodmraid noeject ocs_live_run=\&ocs-live-general\& ocs_live_extra_param=\&\& keyboard-layouts=fr ocs_live_batch=\&no\& vga=normal ip=frommedia nosplash toram=filesystem.squashfs timezone=Europe/Paris utc=yes net.ifnames=0
initrd (loop)/live/initrd.img
Quelques grands noms
N'oubliez pas les paramètres généraux et les lignes en italiques sont celles qui sont différentes du menu de base.
Ne connaissant aucune version livecd officielle, voici quelques distributions dérivées de Arch Linux (pas trouvé comment les lancer directement en fran?ais) :
(environnement Openbox) :
pensez à modifier 'img_dev' selon la partition où est votre iso et 'archisolabel'
linux (loop)/arch/boot/x86_64/vmlinuz img_dev=/dev/sda2 img_loop=$isofile earlymodules=loop archisobasedir=arch archisolabel=ARCHBANG –
initrd (loop)/arch/boot/intel_ucode.img (loop)/arch/boot/x86_64/archiso.img
(environnement Lxde) :
pensez à modifier 'img_dev' selon la partition où est votre iso et 'archisolabel'
linux (loop)/arch/boot/x86_64/vmlinuz img_dev=/dev/sda2 img_loop=$isofile earlymodules=loop archisobasedir=arch archisolabel=ARCH_201607 –
initrd (loop)/arch/boot/intel_ucode.img (loop)/arch/boot/x86_64/archiso.img
Même si Debian est parent du projet Ubuntu, son lancement est différent car il n'utilise pas casper.
Stable (version 8 : Jessie) :
linux (loop)/live/vmlinuz boot=live findiso=${isofile} live-config lang=fr_FR.UTF-8 locales=fr_FR.UTF-8 keyboard-layouts=fr timezone=Europe/Paris utc=yes quiet splash
initrd (loop)/live/initrd.img
Dérivées
linux (loop)/live/vmlinuz boot=live findiso=${isofile} live-config lang=fr_FR.UTF-8 locales=fr_FR.UTF-8 keyboard-layouts=fr timezone=Europe/Paris utc=yes quiet splash
initrd (loop)/live/initrd.lz
Par rapport au menu standard, on définira une variable de plus : $isolabel. Pour la trouver, il faut ouvrir l'iso avec le gestionnaire d'archive (clic droit). Dans le dossier 'isolinux', il faut ouvrir 'isolinux.cfg' puis rechercher CDLABEL.
live Workstation -
set isolabel=&Fedora-WS-Live-24-1-2&
linux (loop)/isolinux/vmlinuz0 root=live:CDLABEL=$isolabel iso-scan/filename=$isofile rootfstype=auto rd.live.image rhgb keytable=fr lang=fr_FR.utf8 locale.lang=fr_FR vconsole.keymap=fr
initrd (loop)/isolinux/initrd0.img
Live DVD (les codes pour le lancer directement en fran?ais ne fonctionnent plus depuis la version 2016) -
linux (loop)/isolinux/gentoo isoboot=$isofile root=/dev/ram0 init=/linuxrc aufs looptype=squashfs loop=/image.squashfs cdroot vconsole.keymap=fr locale=fr_FR console=tty1 nomodeset –
initrd (loop)/isolinux/gentoo.xz
Dérivées
(lui peut être lancé en fran?ais sans problème) -
linux (loop)/boot/sabayon root=/dev/ram0 init=/linuxrc lang=fr_FR isoboot=${isofile} cdroot looptype=squashfs loop=/livecd.squashfs overlayfs
initrd (loop)/boot/sabayon.igz
version install
linux (loop)/boot/x86_64/loader/linux install=hd:$isofile
initrd (loop)/boot/x86_64/loader/initrd
Un petit tour chez la grand-mère des distros. Pas réussi à lancer la version live depuis Grub.
version install.
linux (loop)/kernels/huge.s/bzImage load_ramdisk=1 prompt_ramdisk=0 rw printk.time=0 SLACK_KERNEL=huge.s locale=fr_FR.utf8 kbd=fr tz=Europe/Paris
initrd (loop)/isolinux/initrd.img
Distributions spécialisées
Ce sont des distributions dédiées à une certaine utilisation. N'oubliez pas les paramètres généraux et les lignes en italiques sont celles qui sont différentes du menu de base.
set isolabel=&Fedora-Game-Live-24-1-2&
linux (loop)/isolinux/vmlinuz root=live:CDLABEL=$isolabel iso-scan/filename=$isofile rootfstype=auto rd.live.image rhgb KEYTABLE=fr LANG=fr_FR.utf8 locale.lang=fr_FR vconsole.keymap=fr
initrd (loop)/isolinux/initrd.img
Logiciels éducatifs
pas d'iso depuis 2014.
linux (loop)/live/vmlinuz2 boot=live findiso=${isofile} components live-config hostname=localhost lang=fr_FR.UTF-8 locales=fr_FR.UTF-8 keyboard-layouts=fr timezone=Europe/Paris utc=yes quiet splash
initrd (loop)/live/initrd2.img
(beaucoup de logiciels qui ne sont pas sur d'autres distros) :
linux (loop)/casper/vmlinuz locale=fr_FR bootkbd=fr console-setup/layoutcode=fr iso-scan/filename=$isofile boot=casper file=/cdrom/preseed/uberstudent.seed noprompt quiet splash –
initrd (loop)/casper/initrd.lz
Logiciels pour la MAO (Musique Assistée par Ordinateur)
est déjà cité .
développée par des argentins :
linux (loop)/live/vmlinuz boot=live findiso=${isofile} live-config lang=fr_FR.UTF-8 locales=fr_FR.UTF-8 keyboard-layouts=fr timezone=Europe/Paris utc=yes quiet splash
initrd (loop)/live/initrd.img
Expérimenter d'autres environnements
Enlightenment
a quelques racourcis intéressants (Alt + clic glissé : clic gauche déplace la fenêtre, clic droit la redimensionne par exemple) :
linux (loop)/live/vmlinuz1 username=eliveuser boot=live findiso=${isofile} live-config lang=fr_FR.UTF-8 locales=fr_FR.UTF-8 keyboard-layouts=fr timezone=Europe/Paris utc=yes loglevel=0 quiet splash
initrd (loop)/live/initrd1.img
pensez à modifier 'img_dev' selon la partition où est votre iso et 'misolabel' qui reprend l'année et le mois indiqué dans le nom de l'iso
linux (loop)/manjaro/boot/x86_64/manjaro img_dev=/dev/sda2 img_loop=$isofile misobasedir=manjaro misolabel=MJRO1605 nouveau.modeset=1 i915.modeset=1 radeon.modeset=1 logo.nologo locale.LANG=fr_FR.utf8 vconsole.keymap=fr-latin1 timezone=Europe/Paris overlay=free --
initrd (loop)/manjaro/boot/x86_64/manjaro.img
(basé sur Ubuntu) :
login:root, password:root - très rapide (pour le lancement de LibreOffice, Chrome ou Gimp par exemple)
linux (loop)/casper/vmlinuz.efi locale=fr_FR bootkbd=fr console-setup/layoutcode=fr iso-scan/filename=$isofile boot=casper file=/cdrom/preseed/cli.seed noprompt quiet splash –
initrd (loop)/casper/initrd.lz
Pantheon d'Elementary OS
?tant basé sur Ubuntu, son lancement est identique.
linux (loop)/casper/vmlinuz locale=fr_FR bootkbd=fr console-setup/layoutcode=fr iso-scan/filename=$isofile boot=casper file=/cdrom/preseed/elementary.seed noprompt quiet splash –
initrd (loop)/casper/initrd.lz
Distributions légères
est une distribution pouvant tourner sur de vieux systèmes. Elle utilise notamment des environnements de bureau légers tels que
linux (loop)/antiX/vmlinuz fromiso=${isofile} bootdev=sda2 lang=fr tz=Europe/Paris xres= toram hwclock=utc quiet splash
initrd (loop)/antiX/initrd.gz
Remarque : 'bootdev' correspond à la même partition que 'set root=(hd0,2)' dans les paramètres généraux. Il faut l'adapter ainsi que 'xres' à votre configuration.
Un linux qui tient sur une &iso& de 50 Mo. Seules les versions &core& peuvent être lancées depuis Grub :
32 bits : Slitaz-4.0 Core et Slitaz-rolling Core
linux (loop)/boot/bzImage iso-scan/filename=${isofile} lang=fr_FR kmap=fr-latin1 root=/dev/null vga=normal autologin
initrd (loop)/boot/rootfs.gz
64 bits : Slitaz-rolling Core64
linux (loop)/boot/bzImage64 iso-scan/filename=${isofile} lang=fr_FR kmap=fr-latin1 root=/dev/null vga=normal autologin
initrd (loop)/boot/rootfs.gz
Qu'en est-il des isos BSD
:pas réussi à amorcer complètement une BSD depuis un fichier iso. Debian est l'essai le plus encourageant.
Parmi les tests effectués :
ce qui m'a servi pour Debian Kfreebsd :
Debian kfreeBSD
Site de téléchargement de l' ou l'
Pas trouvé comment faire en sorte qu'il ne cherche pas l'iso dans un lecteur de cd.
menuentry &kFreeBSD netinst& {
insmod ufs2
set isofile=/isos_autres/debian-7.11.0-kfreebsd-amd64-netinst.iso
loopback loop $isofile
set root=(loop)
kfreebsd (loop)/boot/kernel/kfreebsd-9.gz
kfreebsd_module (loop)/boot/mfsroot.gz type=mfs_root
set kFreeBSD.vfs.root.mountfrom=ufs:/dev/md0
GRUB 2 sur une clef USB
Pour lancer ces isos on peut créer une clé USB ayant un grub d'intégré en suivant . Ensuite on intégrera les menus directement au fichier /boot/grub/grub.cfg de celle-ci.
Contributeurs principaux :}