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 11#! /bin/bash
22
33# 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
156
167# Clone an instance of the CodeQL repository
178if [ ! -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