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