summaryrefslogtreecommitdiffstats
path: root/TOOLS/zsh.pl
Commit message (Collapse)AuthorAgeFilesLines
* TOOLS/zsh.pl: sort options in reverse order by lengthAlessandro Ghedini2014-07-051-0/+9
| | | | | | | | This stops options that are prefixes of other options from blocking completion of values for the longer ones. Conflicts: TOOLS/zsh.pl
* TOOLS/zsh.pl: don't consume extra argumentsPhilip Sequeira2014-07-051-10/+18
| | | | | | | | | | | | Completion now uses "--opt=value" instead of "--opt value". Once the user presses space and starts a new argument, the option just completed is out of the picture, whether or not it was given an argument. This handles options with no arguments or optional arguments much better; previously, completing such an option would effectively disable completion for the next argument. Custom completed options such as "--ao" and friends will no longer claim to consume an extra argument.
* TOOLS/zsh.pl: escape all colons in option descriptionsPhilip Sequeira2014-07-051-1/+1
|
* TOOLS: add script for generating a zsh completion scriptAlessandro Ghedini2014-06-081-0/+129
As discussed in #775