File tree Expand file tree Collapse file tree 1 file changed +4
-13
lines changed Expand file tree Collapse file tree 1 file changed +4
-13
lines changed Original file line number Diff line number Diff line change 1
1
#! /bin/bash
2
2
3
3
# Assumes CodeQL is installed via the VSCode Plugin
4
- CODEQL_CODESPACES_PATH=" /root/.vscode-remote/data/User/globalStorage/github.vscode-codeql/distribution1/codeql/codeql"
5
-
6
- if [ -d " $CODEQL_CODESPACES_PATH " ]; then
7
- export PATH=$CODEQL_CODESPACES_PATH :$PATH
8
-
9
- else
10
- # Installs CodeQL CLI via GH extension
11
- gh extensions install github/gh-codeql
12
- gh codeql install-stub
13
-
14
- fi
4
+ CODEQL_CODESPACES_PATH=" /root/.vscode-remote/data/User/globalStorage/github.vscode-codeql/distribution1/codeql"
5
+ export PATH=$CODEQL_CODESPACES_PATH :$PATH
15
6
16
7
# Clone an instance of the CodeQL repository
17
8
if [ ! -d " ./codeql" ]; then
18
- git clone depth=1 https://github.com/github/codeql ./codeql
19
- else
9
+ git clone -- depth=1 https://github.com/github/codeql ./codeql
10
+ fi
You can’t perform that action at this time.
0 commit comments