You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Once an extension config change is made, the extension seems to start properly, downloading CodeQL CLI; even if the config change was specifying a custom CodeQL CLI executable path
Edit: Might only occur when update check was performed recently and the following was logged:
Didn't perform CodeQL CLI update check since a check was already performed within the previous 86400 seconds.
To reproduce
Prerequisites:
Extension is already installed and the default CodeQL CLI has been downloaded by the extension already.
Open the CodeQL extension settings (@ext:github.vscode-codeql)
Change "CodeQL > CLI: Executable Path" to an invalid path
Restart VSCode
Trigger loading of extensions, e.g. by clicking on CodeQL icon on the left sidebar
❌ Notice how neither an error dialog is shown, nor does the "CodeQL" info text in the bottom right corner appear.
The logs show that the extension failed finding the CodeQL CLI.
ℹ️ Only in case you had not downloaded CodeQL CLI yet and the executable path is empty it shows the error "The CodeQL CLI could not be found."
Run an extension command such as "CodeQL: Quick query"; on the error message click "Install CodeQL CLI"
❌ Nothing happens
Stop VSCode
Open the CodeQL CLI download folder; on Windows %appdata%\Code\User\globalStorage\github.vscode-codeql
Delete or rename the distribution folder
Start VSCode again
Open the CodeQL extension settings (@ext:github.vscode-codeql)
Change "CodeQL > CLI: Executable Path" to any non-empty path
❌ Instead of checking whether the CodeQL CLI exists at the specified path, the extension starts downloading the default CodeQL CLI
Expected behavior
The extension should properly start even without CodeQL CLI; all the incorrect behavior described above (marked with ❌) should not happen.
The text was updated successfully, but these errors were encountered:
Describe the bug
It looks like when no CodeQL CLI is found on start up the extension does not start properly. This is noticable as:
Edit: Might only occur when update check was performed recently and the following was logged:
Version
Extension:
VSCode:
To reproduce
Prerequisites:
Extension is already installed and the default CodeQL CLI has been downloaded by the extension already.
@ext:github.vscode-codeql
)❌ Notice how neither an error dialog is shown, nor does the "CodeQL" info text in the bottom right corner appear.
The logs show that the extension failed finding the CodeQL CLI.
ℹ️ Only in case you had not downloaded CodeQL CLI yet and the executable path is empty it shows the error "The CodeQL CLI could not be found."
❌ Nothing happens
%appdata%\Code\User\globalStorage\github.vscode-codeql
@ext:github.vscode-codeql
)❌ Instead of checking whether the CodeQL CLI exists at the specified path, the extension starts downloading the default CodeQL CLI
Expected behavior
The extension should properly start even without CodeQL CLI; all the incorrect behavior described above (marked with ❌) should not happen.
The text was updated successfully, but these errors were encountered: