diff options
| author | Holger Wansing <holgerw@debian.org> | 2018-04-27 16:09:32 +0000 |
|---|---|---|
| committer | Holger Wansing <holgerw@debian.org> | 2018-04-27 16:09:32 +0000 |
| commit | fc55bac98ecfa202431087745da1f5a8a66ae28b (patch) | |
| tree | 3b7304c418fa7b819472c211e2afd06fe642bc0e /po/fr | |
| parent | 107a3501ba7d2747f1392d69db80950388967d0d (diff) | |
| download | installation-guide-fc55bac98ecfa202431087745da1f5a8a66ae28b.zip | |
[SILENT_COMMIT] Update of POT and PO files for the manual
Diffstat (limited to 'po/fr')
| -rw-r--r-- | po/fr/boot-installer.po | 20 |
1 files changed, 5 insertions, 15 deletions
diff --git a/po/fr/boot-installer.po b/po/fr/boot-installer.po index e2d7def95..83a5e033a 100644 --- a/po/fr/boot-installer.po +++ b/po/fr/boot-installer.po @@ -1485,15 +1485,6 @@ msgstr "" #. Tag: para #: boot-installer.xml:938 #, no-c-format -#| msgid "" -#| "If you wish or need to add any boot parameters for either the installer " -#| "or the kernel, press &tabkey; (BIOS boot), or &ekey; then &downkey; three " -#| "times then &endkey; (UEFI boot). This will bring the boot command for the " -#| "selected menu entry and allow you to edit it to suit your needs. The help " -#| "screens (see below) list some common possible options. Press &enterkey; " -#| "(BIOS boot) or &f10key; (UEFI boot) to boot the installer with your " -#| "options; pressing &escapekey; will return you to the boot menu and undo " -#| "any changes you made." msgid "" "If you wish or need to add any boot parameters for either the installer or " "the kernel, press &tabkey; (BIOS boot), or &ekey; then &downkey; three times " @@ -1508,12 +1499,11 @@ msgstr "" "le noyau, appuyez sur la touche &tabkey; (amorçage BIOS) ou &ekey; puis " "&downkey; trois fois, puis &endkey; (amorçage UEFI). La commande d'amorçage " "pour l'entrée du menu choisie est affichée et il est permis d’ajouter des " -"options. Veuillez noter qu'à ce moment, le clavier est toujours en" -" configuration QWERTY. Les écrans d'aide listent les principales options" -" possibles. " -"Appuyez sur la touche &enterkey; (BIOS) ou &f10key; (UEFI) pour lancer " -"l'installateur avec vos options. Pour revenir au menu et annuler toutes vos " -"saisies, appuyez sur la touche &escapekey;." +"options. Veuillez noter qu'à ce moment, le clavier est toujours en " +"configuration QWERTY. Les écrans d'aide listent les principales options " +"possibles. Appuyez sur la touche &enterkey; (BIOS) ou &f10key; (UEFI) pour " +"lancer l'installateur avec vos options. Pour revenir au menu et annuler " +"toutes vos saisies, appuyez sur la touche &escapekey;." #. Tag: para #: boot-installer.xml:951 |