French: replace "étiquetage" by "épinglage" for "pinning"

diff --git a/debian/changelog b/debian/changelog
index 4567c80ae715e305cd201960bfd3d653c27c1868..c6829907865bd74d43d905296d53b99466bf1a87 100644 (file)
--- 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 bed2c298532b116ac46cffd6de0c29b5c2b16f49..4996a8d180eb4eb649251663e9cbe4f00281ec5c 100644 (file)
--- a/doc/po/fr.po
+++ b/doc/po/fr.po
@@ -465,7 +465,7 @@ msgstr ""
 "<!ENTITY file-preferences \"\n"
 "     <varlistentry><term><filename>/etc/apt/preferences</filename></term>\n"
 "     <listitem><para>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 : <literal>Dir::Etc::Preferences</literal>.</para></listitem>\n"
 "     </varlistentry>\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 cc2a9d8baa4d57db48058553d51a397bed1b10b0..1c008ef065efa8e859bac27bae51034b2287908c 100644 (file)
--- 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"