Spaces:
Paused
Paused
Update Dockerfile
Browse files- Dockerfile +4 -0
Dockerfile
CHANGED
|
@@ -48,6 +48,9 @@ RUN echo '{ \
|
|
| 48 |
"telemetry.enableCrashReporter": false \
|
| 49 |
}' > /home/coder/.config/code-server/settings.json
|
| 50 |
|
|
|
|
|
|
|
|
|
|
| 51 |
# Change ownership of the configuration directory
|
| 52 |
RUN chown -R coder:coder /home/coder/.config
|
| 53 |
|
|
@@ -60,6 +63,7 @@ EXPOSE 8080
|
|
| 60 |
# Switch to the coder user for running code-server
|
| 61 |
USER coder
|
| 62 |
WORKDIR /home/coder/genz
|
|
|
|
| 63 |
# Start code-server
|
| 64 |
CMD ["code-server", "--bind-addr", "0.0.0.0:7860", "--auth", "none"]
|
| 65 |
|
|
|
|
| 48 |
"telemetry.enableCrashReporter": false \
|
| 49 |
}' > /home/coder/.config/code-server/settings.json
|
| 50 |
|
| 51 |
+
# Install Python extension for code-server
|
| 52 |
+
RUN code-server --install-extension ms-python.python
|
| 53 |
+
|
| 54 |
# Change ownership of the configuration directory
|
| 55 |
RUN chown -R coder:coder /home/coder/.config
|
| 56 |
|
|
|
|
| 63 |
# Switch to the coder user for running code-server
|
| 64 |
USER coder
|
| 65 |
WORKDIR /home/coder/genz
|
| 66 |
+
|
| 67 |
# Start code-server
|
| 68 |
CMD ["code-server", "--bind-addr", "0.0.0.0:7860", "--auth", "none"]
|
| 69 |
|