CodeQL CLI cannot be found after manual removal

Open aeisenberg opened this issue 3 years ago • 1 comments

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.

Jun 09 '22 09:06 aeisenberg

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

Jul 31 '22 15:07 JarLob