Create dockerfile
Browse files- dockerfile +17 -0
dockerfile
ADDED
|
@@ -0,0 +1,17 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# ---- latest code-server (ships VS Code 1.96) ----
|
| 2 |
+
FROM codercom/code-server:4.93.1
|
| 3 |
+
|
| 4 |
+
USER root
|
| 5 |
+
# optional: gcc/make/python for C/C++/Node builds
|
| 6 |
+
RUN apt-get update && apt-get install -y --no-install-recommends \
|
| 7 |
+
build-essential gcc g++ make python3 python3-pip \
|
| 8 |
+
&& rm -rf /var/lib/apt/lists/*
|
| 9 |
+
|
| 10 |
+
# password is read from HF secret PASSWORD at run-time
|
| 11 |
+
ENV PASSWORD=${PASSWORD}
|
| 12 |
+
USER coder
|
| 13 |
+
WORKDIR /workspace
|
| 14 |
+
|
| 15 |
+
# HF Spaces forwards :8080 automatically
|
| 16 |
+
EXPOSE 8080
|
| 17 |
+
CMD ["code-server", "--bind-addr", "0.0.0.0:8080", "--auth", "password", "/workspace"]
|