Alessandro Ghedini
fb7cbf75a5
scripts: fix zsh completion generation
...
The script should use the just-built curl, not the system one. This fixes
zsh completion generation when no system curl is installed.
2016-01-11 23:32:30 +01:00
Alessandro Ghedini
92a20413ac
zsh.pl: fail if no curl is found
...
Instead of generation a broken completion file.
2016-01-11 23:32:30 +01:00
Dan Fandrich
28533d3277
scripts/Makefile: build zsh script even in an out-of-tree build
2015-12-16 22:13:02 +01:00
Daniel Stenberg
3b51652328
scripts/makefile: add standard header
2015-12-09 00:34:39 +01:00
Daniel Stenberg
f08fea7169
scripts/Makefile: fix GNUism and survive no perl
...
Closes #555
Reported-by: Thomas Klausner
2015-12-09 00:34:12 +01:00
Daniel Stenberg
19a8afb3c0
zsh install: fix DESTDIR support
...
Reported-by: Mohammad AlSaleh
2015-11-27 23:24:07 +01:00
Daniel Shahaf
be0d4141af
build: Install zsh completion
...
Fixes #534
Closes #537
2015-11-24 22:22:01 +01:00
danielsh@apache.org
b27893d15c
zsh completion: Preserve single quotes in output
...
When an option's help string contains literal single quotes, those
single quotes would be stripped from the option's description in the
completion output (unless the zsh RC_QUOTES option were set while the
completion function was being sourced, which is not the default). This
patch makes the completion output contain single quotes where the --help
output does.
Closes #532
2015-11-19 12:10:31 +01:00
Daniel Stenberg
44fe4b9029
scripts: moved contributors.sh and contrithanks.sh into subdir
2015-05-27 16:10:08 +02:00
Daniel Stenberg
3a973517a9
log2changes.pl: moved to scripts/
2015-05-24 00:09:23 +02:00
Alessandro Ghedini
f9f22b0d63
scripts: add zsh.pl for generating zsh completion
2015-05-24 00:03:14 +02:00
