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.

Sign up for GitHub

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

Jump to bottom

scripts/completion.pl: improve zsh completion #8363

Closed
wants to merge 1 commit into from
Closed

scripts/completion.pl: improve zsh completion #8363

wants to merge 1 commit into from

Conversation

leahneukirchen
Copy link
Contributor

@leahneukirchen leahneukirchen commented Jan 31, 2022 •
edited

Some small improvements to the zsh completion, I mainly wanted to fix --unix-socket having no completion, but there are a few more low-hanging fruits.

- Detect all spellings of <file>, <file name> etc as well as <path>.
- Only complete directories for <dir>.
- Complete URLs for <URL>.
- Complete --request and --ftp-method.

@leahneukirchen
scripts/completion.pl: improve zsh completion
8e1baf6 
- Detect all spellings of <file>, <file name> etc as well as <path>.
- Only complete directories for <dir>.
- Complete URLs for <URL>.
- Complete --request and --ftp-method.
@bagder
Copy link
Member

bagder commented Jan 31, 2022

@simon04 @ghedo does this look fine to you?

@bagder bagder added the script label Jan 31, 2022
@bagder bagder closed this in 90c4581 Feb 2, 2022
@bagder
Copy link
Member

bagder commented Feb 2, 2022

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
script
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@leahneukirchen @bagder