hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-05 21:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #6072 from shati-patel/shati-patel/vs-code-setting

Browse Source 
[Already shipped] Docs: Update setting in CodeQL for VS Code
This commit is contained in:
Shati Patel
2021-06-21 08:34:14 +01:00
committed by GitHub
parent 26a04d6659 17f9aecab8
commit bbb5a39c02
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs/codeql/codeql-for-visual-studio-code/customizing-settings.rst
View File

@@ -30,7 +30,7 @@ Choosing a version of the CodeQL CLI
The CodeQL extension uses the CodeQL CLI to run commands. If you already have the CLI installed and added to your ``PATH``, the extension uses that version. This might be the case if you create your own CodeQL databases instead of downloading them from LGTM.com. Otherwise, the extension automatically manages access to the executable of the CLI for you. For more information about creating databases, see ":ref:`Creating CodeQL databases <creating-codeql-databases>`" in the CLI help.
To override the default behavior and use a different CLI, you can specify the CodeQL CLI **Executable Path**. Note that this is only available as a user setting, not as a workspace setting.
To override the default behavior and use a different CLI, you can specify the CodeQL CLI **Executable Path**.
Changing the labels of query history items
--------------------------------------------