Spaces:
Runtime error
Runtime error
Update Dockerfile
Browse filesAdd some comments.
- Dockerfile +4 -1
Dockerfile
CHANGED
@@ -10,10 +10,13 @@ ENV HOME=/home/user \
|
|
10 |
|
11 |
# Set the working directory to the user's home directory
|
12 |
WORKDIR $HOME/app
|
13 |
-
|
14 |
RUN --mount=type=secret,id=HF_TOKEN,mode=0444,required=true
|
|
|
|
|
15 |
RUN git init && git remote add origin https://github.com/MendelXu/SAN.git
|
16 |
RUN git pull origin main
|
|
|
|
|
17 |
RUN pip install gradio
|
18 |
ENV GRADIO_SERVER_NAME=0.0.0.0
|
19 |
EXPOSE 7860
|
|
|
10 |
|
11 |
# Set the working directory to the user's home directory
|
12 |
WORKDIR $HOME/app
|
|
|
13 |
RUN --mount=type=secret,id=HF_TOKEN,mode=0444,required=true
|
14 |
+
# clone from the newest code.
|
15 |
+
ls -l $HOME/app
|
16 |
RUN git init && git remote add origin https://github.com/MendelXu/SAN.git
|
17 |
RUN git pull origin main
|
18 |
+
|
19 |
+
# gradio
|
20 |
RUN pip install gradio
|
21 |
ENV GRADIO_SERVER_NAME=0.0.0.0
|
22 |
EXPOSE 7860
|