Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

zsh.pl: produce a working completion script again #1779

Closed
wants to merge 1 commit into from
Commits on Aug 14, 2017
  1. zsh.pl: produce a working completion script again

    kdudka committed Aug 14, 2017
    Commit curl-7_54_0-118-g8b2f22e changed the output format of curl --help
    to use <file> and <dir> instead of FILE and DIR, which caused zsh.pl to
    produce a broken completion script:
    
    % curl --<TAB>
    _curl:10: no such file or directory: seconds
You can’t perform that action at this time.