Dans ce cas précis, les guillemets font partie du code bash, et non du texte.

Les traduire casserait la syntaxe bash que le manuel explique.

Amicalement.


Jean-Philippe

Le 3 novembre 2021 16:06:34 GMT+01:00, MENGUAL Jean-Philippe <mengualjeanphi@free.fr> a écrit :

Le 03/11/2021 à 10:49, Julien Palard via Traduc a écrit :
Bonjour la liste,

J'ai trouvé une coquille dans `man bash`:

C'est-à-dire que « $@ » est équivalent à « $1 » « $2 » ....

qui devrait être :

C'est-à-dire que "$@" est équivalent à "$1" "$2" ....

ah? pourquoi? traditionnellement les traducteurs traduisent les
guillemets " par des guillements français. En quoi est-ce un souci ici?

Amicalement,


(Dans l'idéal les guillemets devraient apparaitre "en police a pas fixe", comme les $, @, 1, 2, ou peu importe ce qui est utilisé pour montrer que c'est du code).

Si je peux le faire moi même je veux bien, indiquez moi juste où ça se passe.

Bonne journée,
--
Julien Palard
https://mdk.fr
Liste de discussion traduc@traduc.org
Pour vous désabonner, écrivez à traduc-leave@traduc.org
(Les pièces-jointes doivent attendre l'approbation du modérateur)

Liste de discussion traduc@traduc.org
Pour vous désabonner, écrivez à traduc-leave@traduc.org
(Les pièces-jointes doivent attendre l'approbation du modérateur)
--
Envoyé de mon appareil Android avec Courriel K-9 Mail. Veuillez excuser ma brièveté.