File tree Expand file tree Collapse file tree
extensions/ql-vscode/test/e2e Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ version : " 3.8"
2+
3+ services :
4+ code-server :
5+ build :
6+ context : docker
7+ dockerfile : Dockerfile
8+ platform : linux/amd64
9+ container_name : code-server
10+ user : " 1000"
11+ volumes :
12+ - local-data:/home/coder/.local/share/code-server
13+ - local-user-data:/home/coder/.local/share/code-server/User
14+ - ./docker/config/config.yaml:/home/coder/.config/code-server/config.yaml
15+ - ./docker/User/settings.json:/home/coder/.local/share/code-server/User/settings.json
16+ - project-data:/home/coder/project
17+ ports :
18+ - 8080:8080
19+ restart : unless-stopped
20+ depends_on :
21+ code-server-init :
22+ condition : service_completed_successfully
23+ code-server-init :
24+ build :
25+ context : docker
26+ dockerfile : Dockerfile
27+ platform : linux/amd64
28+ user : " 1000"
29+ volumes :
30+ - local-data:/home/coder/.local/share/code-server
31+ - local-user-data:/home/coder/.local/share/code-server/User
32+ - ./docker/config/config.yaml:/home/coder/.config/code-server/config.yaml
33+ - ./docker/User/settings.json:/home/coder/.local/share/code-server/User/settings.json
34+ - project-data:/home/coder/project
35+ entrypoint : |
36+ /usr/bin/entrypoint.sh --install-extension GitHub.vscode-codeql
37+ restart : no
38+ depends_on :
39+ - files-init
40+ files-init :
41+ image : alpine:3.19.0
42+ restart : no
43+ # Since we're not running the code-server container using the same user as our host user,
44+ # we need to set the permissions on the mounted volumes to match the user inside the container.
45+ entrypoint : |
46+ /bin/sh -c "chown 1000:1000 /home/coder/.local/share/code-server /home/coder/.local/share/code-server/User /home/coder/project"
47+ volumes :
48+ - local-data:/home/coder/.local/share/code-server
49+ - local-user-data:/home/coder/.local/share/code-server/User
50+ - project-data:/home/coder/project
51+
52+ volumes :
53+ local-data :
54+ local-user-data :
55+ project-data :
Original file line number Diff line number Diff line change 1+ FROM codercom/code-server:4.20.0
2+
3+ USER root
4+
5+ RUN apt-get update \
6+ && apt-get install -y \
7+ unzip \
8+ && rm -rf /var/lib/apt/lists/*
9+
10+ RUN wget -O /tmp/codeql.zip https://github.com/github/codeql-cli-binaries/releases/download/v2.15.5/codeql-linux64.zip \
11+ && unzip /tmp/codeql.zip -d /usr/local/bin \
12+ && rm -rf /tmp/codeql.zip
13+
14+ ENV PATH="/usr/local/bin/codeql:${PATH}"
15+
16+ USER 1000
Original file line number Diff line number Diff line change 1+ {
2+ "workbench.startupEditor" : " none" ,
3+ "security.workspace.trust.enabled" : false
4+ }
Original file line number Diff line number Diff line change 1+ bind-addr : 127.0.0.1:8080
2+ auth : none
3+ cert : false
4+ disable-workspace-trust : true
5+ disable-telemetry : true
6+ disable-update-check : true
You can’t perform that action at this time.
0 commit comments