File tree Expand file tree Collapse file tree 5 files changed +32
-5
lines changed Expand file tree Collapse file tree 5 files changed +32
-5
lines changed Original file line number Diff line number Diff line change 1
1
#! /bin/bash
2
+ set -e
2
3
3
- # Install CodeQL Stub
4
- cp ./.devcontainer/codeql.sh /usr/local/bin/codeql
4
+ echo " Installing GH Extensions..."
5
+ gh extensions install GitHubSecurityLab/gh-mrva
6
+ gh extensions install advanced-security/gh-codeql-scan
7
+
8
+ echo " Installing stubs..."
9
+ chmod +x .devcontainer/scripts/* && cp -r .devcontainer/scripts/* /usr/local/bin/
5
10
6
11
# Clone an instance of the CodeQL repository
12
+ # https://github.com/github/codeql/tree/codeql-cli/latest
13
+ echo " Cloning CodeQL repository..."
7
14
if [ ! -d " ./codeql" ]; then
8
- git clone --depth=1 https://github.com/github/codeql ./codeql
15
+ git clone \
16
+ --branch codeql-cli/latest \
17
+ https://github.com/github/codeql ./codeql
9
18
fi
Load Diff This file was deleted.
Original file line number Diff line number Diff line change 9
9
"extensions" : [
10
10
" github.vscode-codeql" ,
11
11
" github.copilot" ,
12
+ " MS-vsliveshare.vsliveshare" ,
13
+ " lostintangent.github-security-alerts" ,
12
14
" ms-vscode.test-adapter-converter" ,
15
+ " ms-vscode.cpptools" ,
16
+ " ms-dotnettools.vscode-dotnet-runtime" ,
17
+ " ms-python.vscode-pylance" ,
18
+ " redhat.java" ,
13
19
],
14
20
"settings" : {
15
21
"codeQL.canary" : true ,
Original file line number Diff line number Diff line change
1
+ #! /bin/bash
2
+ set -e
3
+
4
+ CODEQL_PATH=/home/root/.vscode-remote/data/User/globalStorage/github.vscode-codeql/distribution1/codeql/codeql
5
+
6
+ if [ ! -f $CODEQL_PATH ]; then
7
+ echo " CodeQL not found. Please install the CodeQL extension in VSCode and try again."
8
+ exit 1
9
+ fi
10
+
11
+ $CODEQL_PATH $@
Original file line number Diff line number Diff line change
1
+ #! /bin/bash
2
+
3
+ gh codeql-scan $@
You can’t perform that action at this time.
0 commit comments