]> gitweb.factorcode.org Git - factor.git/commitdiff
command-line: strip all leading - from parameters.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 13 Oct 2020 18:24:43 +0000 (11:24 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 13 Oct 2020 18:24:43 +0000 (11:24 -0700)
this supports ./factor --help

but also

./factor ------------help

when you really need help

basis/command-line/command-line.factor

index 39217ce61dd1683a47b5b372ca1f2077f4b50aa7..a90f7f5ad1c369d388b994639fc06d20cbd7fb35 100644 (file)
@@ -66,6 +66,7 @@ SYMBOL: command-line
 : (parse-command-line) ( args -- )
     [
         unclip "-" ?head [
+            [ CHAR: - = ] trim-head
             [ param ] [ "run=" head? ] bi
             [ command-line set ]
             [ (parse-command-line) ] if