Skip to content

Rewrite bash completion script by using case statements#1611

Merged
shahzebsiddiqui merged 6 commits intodevelfrom
rewrite_bash_completions_with_case_statements
Aug 30, 2023
Merged

Rewrite bash completion script by using case statements#1611
shahzebsiddiqui merged 6 commits intodevelfrom
rewrite_bash_completions_with_case_statements

Conversation

@shahzebsiddiqui
Copy link
Member

No description provided.

@shahzebsiddiqui shahzebsiddiqui changed the title Rewrite bash completions with case statements Rewrite bash completion script by using case statements Aug 30, 2023
@pull-request-size pull-request-size bot added size/L and removed size/M labels Aug 30, 2023
@shahzebsiddiqui shahzebsiddiqui merged commit f7ab702 into devel Aug 30, 2023
@shahzebsiddiqui shahzebsiddiqui deleted the rewrite_bash_completions_with_case_statements branch August 30, 2023 21:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant