diff --git a/bash/src/base.args.sh b/bash/src/base.args.sh index ac44e3c..35e804c 100644 --- 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