Spaces:
Runtime error
Runtime error
Commit ·
1657b1d
1
Parent(s): b19e1ab
fix: docker2
Browse files- Dockerfile +6 -9
Dockerfile
CHANGED
|
@@ -18,6 +18,11 @@ RUN apt-get update && apt-get install -y \
|
|
| 18 |
mc \
|
| 19 |
&& rm -rf /var/lib/apt/lists/*
|
| 20 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 21 |
WORKDIR /app
|
| 22 |
|
| 23 |
COPY --chown=user ./requirements.txt requirements.txt
|
|
@@ -29,15 +34,7 @@ RUN playwright install --with-deps
|
|
| 29 |
|
| 30 |
RUN pip install --no-cache-dir "gradio[mcp]"
|
| 31 |
|
| 32 |
-
|
| 33 |
-
|
| 34 |
-
|
| 35 |
-
RUN useradd -m -u 1000 user
|
| 36 |
-
USER user
|
| 37 |
-
|
| 38 |
-
ENV HOME=/home/user \
|
| 39 |
-
PATH=/home/user/.local/bin:$PATH \
|
| 40 |
-
GRADIO_ALLOW_FLAGGING=never \
|
| 41 |
GRADIO_NUM_PORTS=1 \
|
| 42 |
GRADIO_SERVER_NAME=0.0.0.0 \
|
| 43 |
GRADIO_THEME=huggingface \
|
|
|
|
| 18 |
mc \
|
| 19 |
&& rm -rf /var/lib/apt/lists/*
|
| 20 |
|
| 21 |
+
RUN useradd -m -u 1000 user
|
| 22 |
+
USER user
|
| 23 |
+
ENV HOME=/home/user \
|
| 24 |
+
PATH=/home/user/.local/bin:$PATH
|
| 25 |
+
|
| 26 |
WORKDIR /app
|
| 27 |
|
| 28 |
COPY --chown=user ./requirements.txt requirements.txt
|
|
|
|
| 34 |
|
| 35 |
RUN pip install --no-cache-dir "gradio[mcp]"
|
| 36 |
|
| 37 |
+
ENV GRADIO_ALLOW_FLAGGING=never \
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 38 |
GRADIO_NUM_PORTS=1 \
|
| 39 |
GRADIO_SERVER_NAME=0.0.0.0 \
|
| 40 |
GRADIO_THEME=huggingface \
|