]> gitweb.factorcode.org Git - factor.git/commit
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)
commit67bc5a92891d51824ef6b4a896ff49ca107ae774
tree3328f1481b25c940f4eb4e860bcbe27c108f81c5
parent215f5ad40c1e4c6dc7dc71f88a6d53ba7577aa07
command-line: strip all leading - from parameters.

this supports ./factor --help

but also

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

when you really need help
basis/command-line/command-line.factor