github/vscode-codeql

CodeQL CLI cannot be found after manual removal

Aperta

#1380 aperta il 9 giu 2022

 (1 commento) (0 reazioni) (0 assegnatari)TypeScript (236 fork)auto 404
VSCodebuggood first issue

Metriche repository

Star
 (530 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

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.

Guida contributor