Spaces:
Runtime error
Runtime error
Update docker
Browse files- Dockerfile +4 -9
Dockerfile
CHANGED
|
@@ -8,19 +8,14 @@ RUN pip install --no-cache-dir --upgrade -r /code/requirements.txt
|
|
| 8 |
|
| 9 |
# Set up a new user named "user" with user ID 1000
|
| 10 |
RUN useradd -m -u 1000 user
|
|
|
|
| 11 |
# Switch to the "user" user
|
| 12 |
USER user
|
|
|
|
| 13 |
# Set home to the user's home directory
|
| 14 |
ENV HOME=/home/user \
|
| 15 |
-
|
| 16 |
-
|
| 17 |
-
PYTHONUNBUFFERED=1 \
|
| 18 |
-
GRADIO_ALLOW_FLAGGING=never \
|
| 19 |
-
GRADIO_NUM_PORTS=1 \
|
| 20 |
-
GRADIO_SERVER_NAME=0.0.0.0 \
|
| 21 |
-
GRADIO_THEME=huggingface \
|
| 22 |
-
SYSTEM=spaces
|
| 23 |
-
|
| 24 |
# Set the working directory to the user's home directory
|
| 25 |
WORKDIR $HOME/app
|
| 26 |
|
|
|
|
| 8 |
|
| 9 |
# Set up a new user named "user" with user ID 1000
|
| 10 |
RUN useradd -m -u 1000 user
|
| 11 |
+
|
| 12 |
# Switch to the "user" user
|
| 13 |
USER user
|
| 14 |
+
|
| 15 |
# Set home to the user's home directory
|
| 16 |
ENV HOME=/home/user \
|
| 17 |
+
PATH=/home/user/.local/bin:$PATH
|
| 18 |
+
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 19 |
# Set the working directory to the user's home directory
|
| 20 |
WORKDIR $HOME/app
|
| 21 |
|