aboutsummaryrefslogtreecommitdiff
path: root/i18n
diff options
context:
space:
mode:
authorLibreboot Contributor <contributor@libreboot.org>2020-03-21 17:09:51 +0100
committerLibreboot Contributor <contributor@libreboot.org>2020-03-21 17:13:01 +0100
commitca05c7774b00a61b042a881f76cb83ad33a8a9ea (patch)
tree65bb070998874f222207f5a317e6197db9a02e45 /i18n
parent561ac3a0d6bb3884a141d9343a7c8818307feee6 (diff)
downloadlibrebootfr-ca05c7774b00a61b042a881f76cb83ad33a8a9ea.tar.gz
librebootfr-ca05c7774b00a61b042a881f76cb83ad33a8a9ea.zip
Finished translating intro of docs/gnulinux/grub_cbfs.md
Diffstat (limited to 'i18n')
-rw-r--r--i18n/fr_FR/docs/gnulinux/grub_cbfs.md16
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