Re: Problème de guillemets dans man bash

J'ai ouvert une PR sur salsa [1]. (Attention je ne suis pas abonné à la liste, mettez-moi en copie si vous me répondez.) [1]: https://salsa.debian.org/debian/manpages-l10n/-/merge_requests/1 --  Julien Palard https://mdk.fr

Re: Problème de guillemets dans man bash

Bonjour Thomas ! > Oui, oui, il y a bien des gens ici, et même une réponse à ta question > initiale [1]. Ahh, désolé, je ne m'abonne pas systématiquement à toutes les mailing lists et je n'ai donc pas vu la réponse (je n'étais pas en copie). J'aurai pu aller voir sur les archives, cependant. >

Re: Problème de guillemets dans man bash

Bonjour Julien, Le 24/06/2022 à 10:34, Julien Palard a écrit : Is there someone in this mailing list? Feel like my previous email has not been noticed (got no answer, bug is still here). Oui, oui, il y a bien des gens ici, et même une réponse à ta question initiale [1]. [1]: https://lists.

Re: Problème de guillemets dans man bash

Is there someone in this mailing list? Feel like my previous email has not been noticed (got no answer, bug is still here). --  Julien Palard https://mdk.fr --- Original Message --- On Wednesday, November 3rd, 2021 at 18:24, Julien Palard wrote: > Bonjour, > > Dans `man bash`, on pe

Re: Problème de guillemets dans man bash

Bonjour Julien, Le 03/11/2021 à 18:24, Julien Palard a écrit : > >> C'est-à-dire que « `$@` » est équivalent à « `$1` » « `$2` » > > (J'utilise les backticks pour indiquer les blocs "code", les \fB \fP.) > > Je pense que ça devrait être : > >> C'est-à-dire que `"$@"` est équivalent