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

Closed
wants to merge 1 commit into
from

Conversation

Projects
None yet
4 participants
@kdudka
Collaborator

kdudka commented 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
zsh.pl: produce a working completion script again
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
@mention-bot

This comment has been minimized.

Show comment
Hide comment
@mention-bot

mention-bot Aug 14, 2017

@kdudka, thanks for your PR! By analyzing the history of the files in this pull request, we identified @bagder, @captain-caveman2k and @yangtse to be potential reviewers.

@kdudka, thanks for your PR! By analyzing the history of the files in this pull request, we identified @bagder, @captain-caveman2k and @yangtse to be potential reviewers.

@coveralls

This comment has been minimized.

Show comment
Hide comment
@coveralls

coveralls Aug 14, 2017

Coverage Status

Coverage decreased (-0.02%) to 75.074% when pulling c21b392 on kdudka:zsh into adc35a4 on curl:master.

Coverage Status

Coverage decreased (-0.02%) to 75.074% when pulling c21b392 on kdudka:zsh into adc35a4 on curl:master.

@bagder

bagder approved these changes Aug 14, 2017

👍

@kdudka

This comment has been minimized.

Show comment
Hide comment
@kdudka

kdudka Aug 15, 2017

Collaborator

Thanks for review! Pushing now...

Collaborator

kdudka commented Aug 15, 2017

Thanks for review! Pushing now...

@kdudka kdudka closed this in ab2a707 Aug 15, 2017

@kdudka kdudka deleted the kdudka:zsh branch Aug 15, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment