diff options
Diffstat (limited to 'i18n/fr_FR/docs/grub/grubeditor.md')
-rwxr-xr-x[-rw-r--r--] | i18n/fr_FR/docs/grub/grubeditor.md | 284 |
1 files changed, 163 insertions, 121 deletions
diff --git a/i18n/fr_FR/docs/grub/grubeditor.md b/i18n/fr_FR/docs/grub/grubeditor.md index 628d184f..d97dca33 100644..100755 --- a/i18n/fr_FR/docs/grub/grubeditor.md +++ b/i18n/fr_FR/docs/grub/grubeditor.md @@ -1,121 +1,163 @@ -# GRUB EDITOR - -Libreboot ROM images now support fluid _grub.cfg_ and _grubtest.cfg_ -configuration editing with the grubeditor.sh script! Instead of manually running -cbfstool to manipulate these configuration files, this script will handle the -work for you so you can focus on actually modifying your GRUB configuration -files to your setup's needs. - -At the time of this writing, grubeditor.sh supports extracting and editing -either the grub.cfg or grubtest.cfg file in any cbfstool-compatible Libreboot -ROM image that contains these files, even ones that have been previously -modified. It can also swap these configuration files in an existing ROM image, -handy if you have a working grubtest.cfg and want to make it the default or if -you broke the main grub.cfg and know that your grubtest.cfg still works. Lastly, -it can also run diff on these two configuration files to show you how they -differ. - -## Requirements - -grubeditor.sh requires an x86, x86\_64, or armv7l environment, since these are -the environments for which cbfstools binaries are provided. Additionally, -grubeditor.sh needs a Bash environment with extended getopt functionality that -can run the **diff** command and write to /tmp. Lastly, the script expects to -live in the top directory of the Libreboot utilities package so it can properly -call cbfstool. - -Chances are that you already meet these requirements if you are on a Linux -environment of the listed architectures and downloaded the Libreboot utilities -package from an official source. If not, it shouldn't be too hard to use a -Linux LiveCD of your choice which provides these essentials. - -Optionally, you should make sure your EDITOR variable is set. Otherwise, -grubeditor.sh will default to using vi, which may not exist on your system. You -can override this default or the contents of your EDITOR variable using the -**-e** or **--editor** command. - -## Usage help - -grubeditor.sh takes a number of options, the only one which is required being a -valid Libreboot ROM image that uses the GRUB2 payload and contains both -_grub.cfg_ and _grubtest.cfg_ files. Additional options should come _before_ the -ROM image file on the command line. - -grubeditor.sh supports combining several short options with a single hyphen -like **-ris**, but you can also list them separately like **-r -i -s**. Long -options must always be written as standalone arguments. - -You can use the **-h** or **--help** option to view a brief summary of the -options available. Consider this guide a more extensive version of this screen. - -Lastly, you can check which version of grubeditor.sh you are using with the -**-v** or **--version** option. - -## Editing configuration files - -Invoked without any arguments except for the ROM image, grubeditor.sh will -attempt to extract the _grubtest.cfg_ file from the provided ROM image and -launch it in your editor of choice. If you make changes to the file, -grubeditor.sh will incorporate your changes into a new ROM image with the same -name in the same directory, except that the new ROM file will end with -".modified". You can then flash this ROM image to your platform's BIOS chip. - -If you would prefer to edit the actual _grub.cfg_ configuration file, use the -**-r** or the **--realcfg** option. Everything else will work the same except -that your editor will open the _grub.cfg_ instead. - -If you would prefer to overwrite your existing ROM image instead of creating a -new one ending in ".modified" use the **-i** or **--inplace** option. -Naturally, you can combine this option with the **-r/--realcfg** option -described above. - -## Swapping grub.cfg and grubtest.cfg - -grubeditor.sh supports swapping the _grub.cfg_ and _grubtest.cfg_ configuration -files with the **-s** or **--swap** option. This will create a new ROM image -alongside the existing ROM image ending with ".modified" which has these files -swapped. Naturally, you can request this operation overwrite the existing file -instead using the **-i/--inplace** option. - -Note that the script will automatically modify the "Load test configuration -(grubtest.cfg)" menu entry in both configuration files during this operation. -If this was not done, these entries would end up being self-referential after -the rename, breaking their intended functionality of changing between the -configuration files. - -For best results, please do not modify this section without studying the source -code of _grubeditor.sh_ and making sure your edits do not impact the script's -ability to perform this modification - -## Swapping grub.cfg and grubtest.cfg - -grubeditor.sh supports comparing _grub.cfg_ and _grubtest.cfg_ files for -differences with the **-d** or **--diffcfg** option. This uses the diff command -by default, but if you want to use another program (e.g. vimdiff), you can -specify it with the **-D** or **--differ** option. Note that this mode is only -intended to show differences in the files and does not support updating the -configs themselves, so any changes you make in an interactive differ will be -ignored. - -## Extracting a configuration file - -You can simply extract a configuration file using the **-x** or **--extract** -option. This option is responsive to the **-r/--realcfg** option for choosing -between grubtest.cfg and grub.cfg. - -## Pending development - -TODO: -- allow injecting configuration files to complement the extractor. -- detect potentially devastating corner cases, however rare they may actually be -- i can't specify a quoted command line with arguments to -e or -D, why? -- support editing both config files if using an interactive differ -- work with other types of files besides the grub configuration files. - -## Conclusion - -I hope that grubeditor.sh will significantly ease modifying your configuration -files in your Libreboot ROM files. - -Should you find any bugs or want any feature requests, please don't hesitate to -email me or bug me on IRC. +--- +title: ÉDITEUR DE GRUB +x-toc-enable: true +... + +Cette section concerne l'édition des fichiers de configurations GRUB à +l'intérieur des images ROM libreboot grâce à un éditeur. + +Éditeur de GRUB +================ + +Les images ROM de Libreboot supportent maintenant une fluide édition de +_grub.cfg_ et _grubtest.cfg_ grâce au script grubeditor.sh! Au lieu d'exécuter +manuellement cbfstool pour manipuler ces fichiers de configuration, ce script +prendra la tâche en charge afin que vous puissiez véritablement vous +concentrer sur la modification des fichiers de configuration GRUB selon vos +besoins. + +Au moment de cet écrit, grubeditor.sh supporte l'extraction et l'édition de +soit le fichier grub.cfg ou grubtest.cfg dans n'importe quelle image ROM +Libreboot compatible cbfstool contenant ces fichiers, même celles qui ont été +précédemment modifiées. Il peut aussi échanger ces fichiers de configuration +dans une image ROM existante, pratique si vous avez un grubtest.cfg qui marche +et vous voulez le mettre par défaut, ou si vous avez 'cassé' le grub.cfg +principal, et que vous savez que votre grubtest.cfg marche encore. +Dernièrement, ça peut aussi faire la diff de ces deux fichiers de +configurations pour montrer leurs différences. + + +Nécessités +========= + +grubeditor.sh nécessite un environnement d'architecture x86, x86_64 ou armv7l, +puisque ce sont ceux pour lesquels les exécutables de cbfstools sont fournis. +Additionnellement, grubeditor.sh nécessite un environnement bash avec la +fonctionnalité getopt étendue qui peut exécuter la commande **diff** et écrire +dans /tmp. Enfin, le script s'attend à être placé dans le répertoire +racine des paquets utilitaires de Libreboot afin de bien exécuter +cbfstool. + +Il y a des chances que vous remplissez déjà ces préréquis si vous êtes dans un +environnement Linux sur l'une des architectures listées, et que vous avez +téléchargé les utilitaires libreboot depuis une source officielle. +Sinon, ça ne devrait pas être trop difficile d'utiliser un LiveCD Linux de +votre choix qui fournissent l'essentiel. + +Optionnellement, vous devriez vous assurer que votre variable EDITOR est +définie. Sinon, grubeditor.sh utilisera vi par défaut, qui peut ne pas exister +sur votre système. Vous pouvez supplanter ce choix par défaut ou le contenu de +votre variable EDITOR en utilisant l'option **-e** ou **--editor**. + +Aide à l'utilisation +==================== + +grubeditor.sh a quelques options, la seule étant requise est une image ROM +libreboot valide utilisant une charge utile GRUB2 et contient les fichiers +_grub.cfg_ et _grubtest.cfg_. Les options additionnelles devrait être mise +avant l'image ROM sur la ligne de commande. + +grubeditor.sh supporte la combinaison de plusieurs courtes options avec un +seul tiret tel que **-ris**, mais vous pouvez toujours les séparer comme ceci: +**-r -i -s**. Les longues options doivent être toujours écrites en tant +qu'arguments séparés/seuls. + +Vous pouvez utiliser l'option **-h** ou **--help** pour voir un bref résumé +des options disponibles. Considérez le guide ici présent comme une version +plus étendue de cette option/écran. + +Enfin, vous pouvez vérifier quelle version de grubeditor.sh vous être en train +d'utiliser avec l'option **-v** ou **--version**. + +Éditer les fichiers de configuration +------------------------------------ + +Invoqué sans aucun arguments excepté pour l'image ROM, grubeditor.sh tentera +d'extraire le fichier _grubtest.cfg_ de l'image ROM fournie et lancera son +édition dans l'éditeur de votre choix. Si vous faites des changements, +grubeditor.sh les intégrera dans une nouvelle image ROM avec le même nom dans +le même répertoire, excepté que le nouveau fichier ROM terminera par +".modified". Vous pouvez ensuite flasher cette image ROM dans la puce BIOS de +votre machine. + +Si vous préférez éditer le véritable fichier de configuration _grub.cfg_, +utilisez l'option **-r** ou **--realcfg**. Tout marchera pareil sauf que votre +éditeur ouvrira _grub.cfg_ à la place. + +Si vous préférez écraser votre image ROM existante au lieu d'en créer une +nouvelle terminant par ".modified", utilisez l'option **-i** ou **--inplace**. +Naturellement, vous pouvez combiner cette option avec l'option +**-r/--realcfg** décrite ci-dessus. + +Échanger grub.cfg et grubtest.cfg +--------------------------------- + +grubeditor.sh supporte l'échangee des fichiers de configuration _grub.cfg_ et +_grubtest.cfg_ grâce à l'option **-s** ou **--swap**. Ça créera une nouvelle +image ROM au côté de l'image ROM existante avec l'extension ".modified", +contenant ces fichiers mais échangés. +Naturellement, vous pouvez demandez l'écrasement de la ROM existante en +ajoutant l'option **-i** ou **--inplace**. + +Notez que le script modifiera automatiquement l'entrée de menu "Charger la +configuration de test (grubtest.cfg)" dans les deux fichiers de configurations +pendant cette opération. +Si ça ne faisait pas, ces entrées finirait par s'auto-référencer après le +renommage, cassant la fonctionnalité attendue d'échange entre les deux +fichiers. + +Pour des résultats optimal, ne modifiez pas silvouplaît cette section sans +étudier le code source de _grubeditor.sh_ et soyez sûr que vos changements +n'impactent pas la capacité du script à faire cette modification. + + +Faire la différence entre grub.cfg et grubtest.cfg +-------------------------------------------------- + +grubeditor.sh supporte la comparaison des fichiers _grub.cfg_ et +_grubtest.cfg_ pour trouver des différences, à l'aide de l'option **-d** ou +**--diffcfg**. Ça utilise la commande diff par défaut, mais si vous voulez +utiliser un autre progralle (p.ex vimdiff), vous pouvez le spécifier avec +l'option **-D** ou **--differ**. Notez que ce mode est seulement fait pour +montrer les différences dans les fichiers et ne supporte pas la mise à jour +des configurations en elles-même, donc n'importe quels changements faits dans +un différenciateur interactif seront ignorés. + +Extraire un fichier de configuration +------------------------------------ + +Vous pouvez simplement extraire un fichier de configuration en utilisant +l'option **-x** ou **--extract**. Cette option s'adapte à l'option +**-r**/**--realcfg** pour choisir entre grubtest.cfg et grub.cfg. + +Développement en attente +======================== + +À FAIRE: +- permettre l'injection de fichiers de configurations pour complémenter + l'extracteur. +- détecter des cas d'exceptions potentiellement dévastateurs, aussi rare + qu'ils pourraient être +- je ne peux pas spécifier des arguments apostrophés sur la ligne de + commandes pour les options **-e** ou **-D**, pourquoi? +- supporter l'édition des deux fichiers de configurations à la fois si on + est en train d'utiliser un différenciateur intéractif +- fonctionner avec d'autres types de fichiers en dehors des fichiers de + configuration GRUB. + +Conclusion +========== + +J'espère que grubeditor.sh facilitera significativement la modification des +fichiers de configuration dans vos fichiers ROM Libreboot. + +Trouveriez-vous quelconque bugs ou avez des demandes de fonctionnalité, +n'hésitez pas silvouplaît à me faire un email ou me déranger sur IRC. + +Copyright © 2014 Leah Rowe <info@minifree.org>\ + +Permission est donnée de copier, distribuer et/ou modifier ce document +sous les termes de la Licence de documentation libre GNU version 1.3 ou +quelconque autre versions publiées plus tard par la Free Software Foundation +sans Sections Invariantes, Textes de Page de Garde, et Textes de Dernière de Couverture. +Une copie de cette license peut être trouvé dans [../fdl-1.3.md](fdl-1.3.md). |