Delete dockerfile
Browse files- dockerfile +0 -17
dockerfile
DELETED
|
@@ -1,17 +0,0 @@
|
|
| 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"]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|