Spaces:
Paused
Paused
Update Dockerfile
Browse files- Dockerfile +10 -4
Dockerfile
CHANGED
|
@@ -32,15 +32,21 @@ RUN chown -R coder:coder /home/coder/genz
|
|
| 32 |
# Create code-server configuration directory
|
| 33 |
RUN mkdir -p /home/coder/.config/code-server
|
| 34 |
|
| 35 |
-
# Add settings.json to enable dark mode
|
| 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 |
-
#
|
| 43 |
-
RUN
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 44 |
|
| 45 |
# Expose the default code-server port
|
| 46 |
EXPOSE 8080
|
|
@@ -52,4 +58,4 @@ VOLUME /home/coder/genz
|
|
| 52 |
USER coder
|
| 53 |
|
| 54 |
# Start code-server
|
| 55 |
-
CMD ["code-server", "--bind-addr", "0.0.0.0:
|
|
|
|
| 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
|
|
|
|
| 58 |
USER coder
|
| 59 |
|
| 60 |
# Start code-server
|
| 61 |
+
CMD ["code-server", "--bind-addr", "0.0.0.0:8080", "--auth", "none"]
|