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

CodeQL CLI cannot be found after manual removal #1380

Open
aeisenberg opened this issue Jun 9, 2022 · 1 comment
Open

CodeQL CLI cannot be found after manual removal #1380

aeisenberg opened this issue Jun 9, 2022 · 1 comment
Labels
bug Something isn't working good first issue Good for newcomers VSCode

Comments

@aeisenberg
Copy link
Contributor

If the default installed codeql CLI is manually deleted, or its folder is changed, then the extension fails to find the CLI and does not provide any instructions on how to proceed.

Instead, a better experience would be that if the extension ever can't find the CLI, then it should prompt the user to redownload (or possibly even ask the user to provide a new location where to find the CLI.
@aeisenberg aeisenberg added bug Something isn't working good first issue Good for newcomers labels Jun 9, 2022
@github-actions github-actions bot added the VSCode label Jun 9, 2022
@JarLob
Copy link
Contributor

JarLob commented Jul 31, 2022

Ran into the issue again. This time tried running codeQL.checkForUpdatesToCLI explicitly to repair the installation. It worked.

@JarLob JarLob mentioned this issue Aug 21, 2022
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working good first issue Good for newcomers VSCode
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@aeisenberg @JarLob and others