jmanhype commited on
Commit
581e8d0
Β·
1 Parent(s): 84968aa

fix: add VSCode server installation to root Dockerfile

Browse files
Files changed (1) hide show
  1. Dockerfile +13 -0
Dockerfile CHANGED
@@ -7,9 +7,19 @@ RUN apt-get update && apt-get install -y \
7
  python3.10 \
8
  python3-pip \
9
  git \
 
10
  ffmpeg \
11
  && rm -rf /var/lib/apt/lists/*
12
 
 
 
 
 
 
 
 
 
 
13
  # Set up git config file
14
  RUN touch /etc/gitconfig && \
15
  chmod 666 /etc/gitconfig && \
@@ -25,6 +35,9 @@ RUN useradd -m -u 1000 user && \
25
  USER user
26
  ENV PATH="/home/user/.local/bin:$PATH"
27
  ENV HOME="/home/user"
 
 
 
28
 
29
  WORKDIR /home/user/app
30
 
 
7
  python3.10 \
8
  python3-pip \
9
  git \
10
+ curl \
11
  ffmpeg \
12
  && rm -rf /var/lib/apt/lists/*
13
 
14
+ # Download VSCode server using curl (if needed)
15
+ RUN if [ ! -d "/opt/openvscode-server" ]; then \
16
+ curl -L https://github.com/gitpod-io/openvscode-server/releases/download/openvscode-server-v1.86.2/openvscode-server-v1.86.2-linux-x64.tar.gz -o /tmp/openvscode-server.tar.gz && \
17
+ tar -xzf /tmp/openvscode-server.tar.gz -C /opt && \
18
+ rm /tmp/openvscode-server.tar.gz && \
19
+ mv /opt/openvscode-server-v1.86.2-linux-x64 /opt/openvscode-server && \
20
+ chown -R 1000:1000 /opt/openvscode-server || true; \
21
+ fi
22
+
23
  # Set up git config file
24
  RUN touch /etc/gitconfig && \
25
  chmod 666 /etc/gitconfig && \
 
35
  USER user
36
  ENV PATH="/home/user/.local/bin:$PATH"
37
  ENV HOME="/home/user"
38
+ ENV SKIP_VSCODE=true
39
+ ENV DISABLE_VSCODE_INSTALLATION=true
40
+ ENV HF_SPACE_NO_VSCODE=true
41
 
42
  WORKDIR /home/user/app
43