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

fix broken bash completion #1683

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

lyra95
Copy link

@lyra95 lyra95 commented Dec 31, 2024

(If this PR fixes a github issue, please add Fixes #<xyz>.)

Fixes #138.

Works in my local
image

Motivation

Explain here the context, and why you're making that change. What is the problem you're trying to solve.

bash completion is broken

Modifications

Describe the modifications you've done.

use GenBashCompletionV2 instead of the old one

Verifying this change

  • Make sure that the change passes the CI checks.

(Please pick either of the following options)

This change is a trivial rework / code cleanup without any test coverage.

Documentation

Check the box below.

Need to update docs?

  • doc-required

    (If you need help on updating docs, create a doc issue)

  • no-need-doc

    (Please explain why)

  • doc

    (If this PR contains doc changes)

this fixes "aliashash[""]: bad array subscript" issue(streamnative#138)
Copy link

@lyra95:Thanks for your contribution. For this PR, do we need to update docs?
(The PR template contains info about doc, which helps others know more about the changes. Can you provide doc-related info in this and future PR descriptions? Thanks)

@github-actions github-actions bot added doc-info-missing This pr needs to mark a document option in description and removed doc-info-missing This pr needs to mark a document option in description labels Dec 31, 2024
Copy link

@lyra95:Thanks for providing doc info!

@github-actions github-actions bot added the no-need-doc This pr does not need any document label Dec 31, 2024
@lyra95 lyra95 mentioned this pull request Dec 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no-need-doc This pr does not need any document
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Broken bash completion
1 participant