diff options
Diffstat (limited to 'i18n/fr_FR/docs/gnulinux')
| -rw-r--r-- | i18n/fr_FR/docs/gnulinux/grub_cbfs.md | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/i18n/fr_FR/docs/gnulinux/grub_cbfs.md b/i18n/fr_FR/docs/gnulinux/grub_cbfs.md index f6c99332..61d44a9c 100644 --- a/i18n/fr_FR/docs/gnulinux/grub_cbfs.md +++ b/i18n/fr_FR/docs/gnulinux/grub_cbfs.md @@ -1,16 +1,18 @@ --- -title: Modifying the GRUB Configuration in Libreboot Systems +title: Modifier la configuration GRUB dans les systèmes Libreboot x-toc enable: true ... +Ce guide montrera toutes les étapes nécessaires à la modification du fichier +de configuration GRUB dans Libreboot; de telle manière que l'utilisateur n'a +pas à démarrer manuellement son système d'exploitation à chaque fois en tapant +des commandes dans console GRUB. -This guide will go through all the steps to modify a GRUB configuration file -in Libreboot; this is so that the user doesn't have to manually boot -their operating system each time, by typing in commands at the GRUB command line. +Pour les buts de ce guide, vous pouvez modifier le fichier de +configuration GRUB qui est dans la ROM de l'ordinateur ou alors modifier +celle qui existe dans le système d'exploitation même; les deux options +seront expliquées ici. -For the purposes of this guide, you can either modify the GRUB configuration file -that resides in the computer's ROM, or else you could modify the version that -exists within the operating system itself; both options will be explained here. ## How to Get the GRUB Configuration File The first step of the process is to actually get a hold of the GRUB configuration file |