File tree Expand file tree Collapse file tree 2 files changed +44
-2
lines changed Expand file tree Collapse file tree 2 files changed +44
-2
lines changed Original file line number Diff line number Diff line change
1
+ #! /bin/bash
2
+
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
15
+
16
+ # Clone an instance of the CodeQL repository
17
+ if [ ! -d " ./codeql" ]; then
18
+ git clone depth=1 https://github.com/github/codeql ./codeql
19
+ else
Original file line number Diff line number Diff line change 1
1
{
2
2
"name" : " CodeQL-Community-Packs" ,
3
+ "postAttachCommand" : " .devcontainer/bootstrap.sh" ,
4
+ "hostRequirements" : {
5
+ "storage" : " 32gb" ,
6
+ "memory" : " 16gb" ,
7
+ "cpus" : 4
8
+ },
3
9
"extensions" : [
4
10
" github.vscode-codeql" ,
5
11
" github.copilot"
6
12
],
7
13
"settings" : {
14
+ "codeQL.canary" : true ,
8
15
"codeQL.runningQueries.autoSave" : true ,
9
16
"codeQL.runningQueries.numberOfThreads" : 4 ,
10
17
"codeQL.runningQueries.debug" : true ,
11
18
"editor.formatOnSave" : true
12
19
},
13
20
"postCreateCommand" : " git submodule init && git submodule update --recursive" ,
14
- "remoteUser" : " root"
15
- }
21
+ "remoteUser" : " root" ,
22
+ "customizations" : {
23
+ "codespaces" : {
24
+ "repositories" : {
25
+ "github/gh-codeql" : {
26
+ "permissions" : {
27
+ "contents" : " read"
28
+ }
29
+ },
30
+ "github/codeql" : {
31
+ "permissions" : {
32
+ "contents" : " read"
33
+ }
34
+ }
35
+ }
36
+ }
37
+ }
38
+ }
You can’t perform that action at this time.
0 commit comments