modifs.mineures sans commentaires

2024-01-30 21:44:28 +04:00 · 2024-01-30 21:44:28 +04:00 · 3734e0b3c7
parent a9ce46da89
commit 3734e0b3c7
1 changed files with 1 additions and 1 deletions
--- a/bash/src/base.args.sh
+++ b/bash/src/base.args.sh
@ -89,7 +89,7 @@ action
    suivantes sont équivalentes:
    ~~~
    --opt .      --no-opt .
-    --opt opt    --no-opt '$dec@ opt'
+    --opt opt    --no-opt '\$dec@ opt'
    ~~~
  * 'NAME=VALUE' pour une option sans argument, forcer la valeur spécifiée; pour
    une option avec argument, prendre la valeur spécifiée comme valeur par