From 032ad7384e4529d95966a9c88fd5e11dd11c31f3 Mon Sep 17 00:00:00 2001 From: "bubulle@debian.org" <> Date: Sat, 3 Mar 2012 16:19:16 +0100 Subject: [PATCH] =?utf8?q?French:=20replace=20"=C3=A9tiquetage"=20by=20"?= =?utf8?q?=C3=A9pinglage"=20for=20"pinning"?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- debian/changelog | 1 + doc/po/fr.po | 4 ++-- po/fr.po | 10 +++++----- 3 files changed, 8 insertions(+), 7 deletions(-) diff --git a/debian/changelog b/debian/changelog index 4567c80ae..c68299078 100644 --- a/debian/changelog +++ b/debian/changelog @@ -20,6 +20,7 @@ apt (0.8.15.10) UNRELEASEDunstable; urgency=low * Hungarian (Gabor Kelemen). Closes: #655238 * Polish (Michał Kułach). Closes: #656908 * Danish (Joe Hansen). Closes: #658643 + * French: replace "étiquetage" by "épinglage" for "pinning" [ Michael Vogt ] * merged patch from lp:~uusijani/apt/uusi-branch: diff --git a/doc/po/fr.po b/doc/po/fr.po index bed2c2985..4996a8d18 100644 --- a/doc/po/fr.po +++ b/doc/po/fr.po @@ -465,7 +465,7 @@ msgstr "" "/etc/apt/preferences\n" " Fichier des préférences.\n" -" C'est dans ce fichier qu'on peut faire de l'étiquetage (pinning) c'est-à-dire, choisir d'obtenir des paquets d'une source distincte ou d'une distribution différente.\n" +" C'est dans ce fichier qu'on peut faire de l'épinglage (pinning) c'est-à-dire, choisir d'obtenir des paquets d'une source distincte ou d'une distribution différente.\n" " Élément de configuration : Dir::Etc::Preferences.\n" " \n" @@ -4446,7 +4446,7 @@ msgid "" "also the &apt-preferences; manual page." msgstr "" "Cette option contrôle l'entrée par défaut pour les questions de " -"distribution ; une étiquette (pin) par défaut dont la priorité vaut 990 est " +"distribution ; un épinglage (pin) par défaut dont la priorité vaut 990 est " "créée en utilisant la chaîne spécifiée. Le fichier des préférences peut " "annuler cette décision. En clair, cette option permet de contrôler " "simplement dans quelle distribution seront récupérés les paquets. Par " diff --git a/po/fr.po b/po/fr.po index cc2a9d8ba..1c008ef06 100644 --- a/po/fr.po +++ b/po/fr.po @@ -127,7 +127,7 @@ msgstr "Le cache est désynchronisé, impossible de référencer un fichier" #. Show any packages have explicit pins #: cmdline/apt-cache.cc:1499 msgid "Pinned packages:" -msgstr "Paquets étiquetés :" +msgstr "Paquets épinglés :" #: cmdline/apt-cache.cc:1511 cmdline/apt-cache.cc:1556 msgid "(not found)" @@ -147,7 +147,7 @@ msgstr "(aucun)" #: cmdline/apt-cache.cc:1553 msgid " Package pin: " -msgstr " Étiquette de paquet : " +msgstr " Épinglage de paquet : " #. Show the priority tables #: cmdline/apt-cache.cc:1562 @@ -220,7 +220,7 @@ msgstr "" " pkgnames - Liste le nom de tous les paquets du système\n" " dotty - Génère un graphe des paquets pour GraphViz\n" " xvcg - Génère un graphe des paquets pour xvcg\n" -" policy - Affiche l'étiquetage (Pin) en vigueur\n" +" policy - Affiche l'épinglage (Pin) en vigueur\n" "\n" "Options :\n" " -h Ce texte d'aide\n" @@ -3020,11 +3020,11 @@ msgstr "" #: apt-pkg/policy.cc:411 #, c-format msgid "Did not understand pin type %s" -msgstr "Étiquette %s inconnue" +msgstr "Type d'épinglage %s inconnu" #: apt-pkg/policy.cc:419 msgid "No priority (or zero) specified for pin" -msgstr "Aucune priorité (ou zéro) n'a été spécifiée pour l'étiquette" +msgstr "Aucune priorité (ou zéro) n'a été spécifiée pour l'épinglage" #: apt-pkg/pkgcachegen.cc:80 msgid "Cache has an incompatible versioning system" -- 2.45.2