[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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 <julien@palard.fr> wrote:


> Bonjour,
>
> Dans `man bash`, on peut lire :
>
> > 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 à `"$1" "$2"` ....
>
>
> Si il existe un repo sur lequel je peux faire une PR moi même, je le ferai volontiers, montrez moi juste le chemin.
>
> Bonne journée,
> --
> Julien Palard
> https://mdk.fr


Reply to: