Update Dockerfile
Browse files- Dockerfile +13 -6
Dockerfile
CHANGED
|
@@ -1,16 +1,23 @@
|
|
|
|
|
| 1 |
FROM debian:sid
|
| 2 |
|
| 3 |
-
|
|
|
|
| 4 |
|
| 5 |
-
# Add user
|
| 6 |
RUN useradd -m -u 1000 user
|
| 7 |
|
| 8 |
# Install Coder
|
| 9 |
RUN curl -L https://coder.com/install.sh | sh
|
| 10 |
|
| 11 |
-
#
|
| 12 |
ENV HOME=/home/user \
|
| 13 |
-
PATH=/home/user/.local/bin:$PATH
|
|
|
|
| 14 |
|
| 15 |
-
#
|
| 16 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# Use Debian Sid for latest packages
|
| 2 |
FROM debian:sid
|
| 3 |
|
| 4 |
+
# Install dependencies
|
| 5 |
+
RUN apt update && apt install -y wget curl sudo git && apt clean
|
| 6 |
|
| 7 |
+
# Add a non-root user
|
| 8 |
RUN useradd -m -u 1000 user
|
| 9 |
|
| 10 |
# Install Coder
|
| 11 |
RUN curl -L https://coder.com/install.sh | sh
|
| 12 |
|
| 13 |
+
# Set environment variables
|
| 14 |
ENV HOME=/home/user \
|
| 15 |
+
PATH=/home/user/.local/bin:$PATH \
|
| 16 |
+
CODER_SERVER_PORT=7860
|
| 17 |
|
| 18 |
+
# Expose the port used by Hugging Face Space
|
| 19 |
+
EXPOSE 7860
|
| 20 |
+
|
| 21 |
+
# Start Coder server in temporary mode (no Postgres needed)
|
| 22 |
+
USER user
|
| 23 |
+
CMD ["coder", "server"]
|