From ca05c7774b00a61b042a881f76cb83ad33a8a9ea Mon Sep 17 00:00:00 2001 From: Libreboot Contributor Date: Sat, 21 Mar 2020 17:09:51 +0100 Subject: Finished translating intro of docs/gnulinux/grub_cbfs.md --- i18n/fr_FR/docs/gnulinux/grub_cbfs.md | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) (limited to 'i18n/fr_FR') 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 -- cgit v1.2.3-70-g09d2