Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | TOOLS/zsh.pl: sort options in reverse order by length | Alessandro Ghedini | 2014-07-05 | 1 | -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 arguments | Philip Sequeira | 2014-07-05 | 1 | -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 descriptions | Philip Sequeira | 2014-07-05 | 1 | -1/+1 |
| | |||||
* | TOOLS: add script for generating a zsh completion script | Alessandro Ghedini | 2014-06-08 | 1 | -0/+129 |
As discussed in #775 |