Spaces:
Paused
Paused
Update Dockerfile
Browse files- Dockerfile +56 -53
Dockerfile
CHANGED
|
@@ -1,58 +1,61 @@
|
|
| 1 |
-
#
|
|
|
|
| 2 |
|
| 3 |
-
|
| 4 |
-
|
| 5 |
-
COPY release-packages/code-server*.deb /tmp/
|
| 6 |
|
| 7 |
-
|
| 8 |
-
|
| 9 |
-
|
| 10 |
-
&& apt-get install -y \
|
| 11 |
curl \
|
| 12 |
-
dumb-init \
|
| 13 |
-
git \
|
| 14 |
-
git-lfs \
|
| 15 |
-
htop \
|
| 16 |
-
locales \
|
| 17 |
-
lsb-release \
|
| 18 |
-
man-db \
|
| 19 |
-
nano \
|
| 20 |
-
openssh-client \
|
| 21 |
-
procps \
|
| 22 |
sudo \
|
| 23 |
-
|
| 24 |
-
|
| 25 |
-
|
| 26 |
-
|
| 27 |
-
|
| 28 |
-
|
| 29 |
-
#
|
| 30 |
-
RUN
|
| 31 |
-
|
| 32 |
-
|
| 33 |
-
|
| 34 |
-
|
| 35 |
-
|
| 36 |
-
|
| 37 |
-
RUN
|
| 38 |
-
|
| 39 |
-
|
| 40 |
-
|
| 41 |
-
|
| 42 |
-
|
| 43 |
-
|
| 44 |
-
|
| 45 |
-
|
| 46 |
-
|
| 47 |
-
|
| 48 |
-
|
| 49 |
-
|
| 50 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 51 |
EXPOSE 8080
|
| 52 |
-
|
| 53 |
-
#
|
| 54 |
-
|
| 55 |
-
|
| 56 |
-
|
| 57 |
-
|
| 58 |
-
|
|
|
|
|
|
|
|
|
| 1 |
+
# Use Python 3.9 as the base image
|
| 2 |
+
FROM python:3.9
|
| 3 |
|
| 4 |
+
# Set environment variables
|
| 5 |
+
ENV DEBIAN_FRONTEND=noninteractive
|
|
|
|
| 6 |
|
| 7 |
+
# Install necessary packages
|
| 8 |
+
RUN apt-get update && \
|
| 9 |
+
apt-get install -y \
|
|
|
|
| 10 |
curl \
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 11 |
sudo \
|
| 12 |
+
build-essential \
|
| 13 |
+
default-jdk \
|
| 14 |
+
default-jre \
|
| 15 |
+
g++ \
|
| 16 |
+
gcc
|
| 17 |
+
|
| 18 |
+
# Install code-server
|
| 19 |
+
RUN curl -fsSL https://code-server.dev/install.sh | sh
|
| 20 |
+
|
| 21 |
+
# Create a user to run code-server
|
| 22 |
+
RUN useradd -m -s /bin/bash coder && \
|
| 23 |
+
echo 'coder ALL=(ALL) NOPASSWD:ALL' >> /etc/sudoers
|
| 24 |
+
|
| 25 |
+
# Create and set the working directory
|
| 26 |
+
RUN mkdir -p /home/coder/genz
|
| 27 |
+
WORKDIR /home/coder/genz
|
| 28 |
+
|
| 29 |
+
# Change ownership of the working directory
|
| 30 |
+
RUN chown -R coder:coder /home/coder/genz
|
| 31 |
+
|
| 32 |
+
# Create code-server configuration directory
|
| 33 |
+
RUN mkdir -p /home/coder/.config/code-server
|
| 34 |
+
|
| 35 |
+
# Add settings.json to enable dark mode and disable telemetry
|
| 36 |
+
RUN echo '{ \
|
| 37 |
+
"workbench.colorTheme": "Default Dark+", \
|
| 38 |
+
"telemetry.enableTelemetry": false, \
|
| 39 |
+
"telemetry.enableCrashReporter": false \
|
| 40 |
+
}' > /home/coder/.config/code-server/settings.json
|
| 41 |
+
|
| 42 |
+
# Install Python extension for code-server
|
| 43 |
+
RUN mkdir -p /home/coder/.local/share/code-server/extensions && \
|
| 44 |
+
curl -L -o /home/coder/.local/share/code-server/extensions/ms-python.python-2022.2.1924087327.vsix https://marketplace.visualstudio.com/_apis/public/gallery/publishers/ms-python/vsextensions/python/2022.2.1924087327/vspackage && \
|
| 45 |
+
code-server --install-extension /home/coder/.local/share/code-server/extensions/ms-python.python-2022.2.1924087327.vsix
|
| 46 |
+
|
| 47 |
+
# Change ownership of the configuration and extension directories
|
| 48 |
+
RUN chown -R coder:coder /home/coder/.config && \
|
| 49 |
+
chown -R coder:coder /home/coder/.local
|
| 50 |
+
|
| 51 |
+
# Expose the default code-server port
|
| 52 |
EXPOSE 8080
|
| 53 |
+
|
| 54 |
+
# Define a volume for the genz folder
|
| 55 |
+
VOLUME /home/coder/genz
|
| 56 |
+
|
| 57 |
+
# Switch to the coder user for running code-server
|
| 58 |
+
USER coder
|
| 59 |
+
WORKDIR genz
|
| 60 |
+
# Start code-server
|
| 61 |
+
CMD ["code-server", "--bind-addr", "0.0.0.0:8080", "--auth", "none"]
|