Merged fix-1038995-bash-options-starting-with-no

2025-09-08 21:19:04 +00:00 · 2012-08-28 22:05:33 -03:00
parent 865cca3ea9 f312d2f439
commit 289035a303
7 changed files with 65 additions and 1 deletions
--- a/lib/bash/parse_options.sh
+++ b/lib/bash/parse_options.sh
@@ -427,6 +427,9 @@ _parse_command_line() {
            if [ -f "$PT_TMPDIR/po/$base_opt" ]; then
               opt_is_negated=1
               opt="$base_opt"
+            else
+               opt_is_negated=""
+               opt=$(echo $opt | sed 's/^-*//')
            fi
         else
            # Handle normal cases: --option and --no-option.