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

Bash completion scripts #620

Closed
ISSOtm opened this issue Dec 9, 2020 · 0 comments · Fixed by #895
Closed

Bash completion scripts #620

ISSOtm opened this issue Dec 9, 2020 · 0 comments · Fixed by #895
Labels
enhancement Typically new features; lesser priority than bugs good first issue New to the codebase? You can help no problem! meta This isn't related to the tools directly: repo organization, maintainership...

Comments

@ISSOtm
Copy link
Member

ISSOtm commented Dec 9, 2020

We have zsh completion scripts that I wrote, but we probably have a larger user base using bash, so completions for that shell would be useful.

@ISSOtm ISSOtm added enhancement Typically new features; lesser priority than bugs meta This isn't related to the tools directly: repo organization, maintainership... good first issue New to the codebase? You can help no problem! labels Dec 9, 2020
@Rangi42 Rangi42 linked a pull request Jun 10, 2021 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Typically new features; lesser priority than bugs good first issue New to the codebase? You can help no problem! meta This isn't related to the tools directly: repo organization, maintainership...
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant