Spaces:

derek-thomas
/

manim-playground

Build error

derek-thomas HF staff commited on May 9

Commit

2d36a4e

•

1 Parent(s): bea44e4

Update Dockerfile

Files changed (1) hide show

Dockerfile CHANGED Viewed

@@ -98,7 +98,7 @@ RUN --mount=target=requirements.txt,source=requirements.txt \
 # Copy the current directory contents into the container at $HOME/app setting the owner to the user
 COPY --chown=user . $HOME/app
-COPY --chown=user First\ Steps\ with\ Manim.ipynb $HOME/app/notebooks/
 RUN chmod +x start_server.sh

 # Copy the current directory contents into the container at $HOME/app setting the owner to the user
 COPY --chown=user . $HOME/app
+RUN mkdir $HOME/app/notebooks && mv $HOME/app/"First Steps with Manim.ipynb" $HOME/app/notebooks/
 RUN chmod +x start_server.sh