wip: move CLI installation
This commit is contained in:
Родитель
d1a26d3893
Коммит
38743c6180
|
@ -34,12 +34,12 @@ services:
|
|||
- project-data:/home/coder/project
|
||||
entrypoint: |
|
||||
/usr/bin/entrypoint.sh --install-extension GitHub.vscode-codeql
|
||||
restart: no
|
||||
restart: "no"
|
||||
depends_on:
|
||||
- files-init
|
||||
files-init:
|
||||
image: alpine:3.19.0
|
||||
restart: no
|
||||
restart: "no"
|
||||
# Since we're not running the code-server container using the same user as our host user,
|
||||
# we need to set the permissions on the mounted volumes to match the user inside the container.
|
||||
entrypoint: |
|
||||
|
|
|
@ -8,9 +8,9 @@ RUN apt-get update \
|
|||
&& rm -rf /var/lib/apt/lists/*
|
||||
|
||||
RUN wget -O /tmp/codeql.zip https://github.com/github/codeql-cli-binaries/releases/download/v2.15.5/codeql-linux64.zip \
|
||||
&& unzip /tmp/codeql.zip -d /usr/local/bin \
|
||||
&& unzip /tmp/codeql.zip -d /opt \
|
||||
&& rm -rf /tmp/codeql.zip
|
||||
|
||||
ENV PATH="/usr/local/bin/codeql:${PATH}"
|
||||
ENV PATH="/opt/codeql:${PATH}"
|
||||
|
||||
USER 1000
|
||||
|
|
|
@ -1,4 +1,5 @@
|
|||
{
|
||||
"workbench.startupEditor": "none",
|
||||
"security.workspace.trust.enabled": false
|
||||
"security.workspace.trust.enabled": false,
|
||||
"codeQL.cli.executablePath": "/opt/codeql/codeql"
|
||||
}
|
||||
|
|
Загрузка…
Ссылка в новой задаче