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)