Skip to content

Commit da044c4

Browse files
committed
feat: Update to add CodeQL stub
1 parent 7b8843f commit da044c4

File tree

3 files changed

+6
-4
lines changed

3 files changed

+6
-4
lines changed

.devcontainer/bootstrap.sh

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,7 @@
11
#!/bin/bash
22

3-
# Assumes CodeQL is installed via the VSCode Plugin
4-
CODEQL_CODESPACES_PATH="/root/.vscode-remote/data/User/globalStorage/github.vscode-codeql/distribution1/codeql"
5-
export PATH=$CODEQL_CODESPACES_PATH:$PATH
3+
# Install CodeQL Stub
4+
cp ./.devcontainer/codeql.sh /usr/local/bin/codeql
65

76
# Clone an instance of the CodeQL repository
87
if [ ! -d "./codeql" ]; then

.devcontainer/codeql.sh

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
#!/bin/bash
2+
/root/.vscode-remote/data/User/globalStorage/github.vscode-codeql/distribution1/codeql/codeql $@

.devcontainer/devcontainer.json

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,8 @@
88
},
99
"extensions": [
1010
"github.vscode-codeql",
11-
"github.copilot"
11+
"github.copilot",
12+
"ms-vscode.test-adapter-converter",
1213
],
1314
"settings": {
1415
"codeQL.canary": true,

0 commit comments

Comments
 (0)