Commit 621be73e authored by Miguel Morales's avatar Miguel Morales Committed by GitHub

Remove facets directory

The `cd` command switches to the user's home directory (away from the directory we want to delete)
Then we remove the facets directory using the full path
parent 9f9e5ca8
...@@ -61,7 +61,8 @@ RUN cd /tmp && \ ...@@ -61,7 +61,8 @@ RUN cd /tmp && \
git clone https://github.com/PAIR-code/facets.git && \ git clone https://github.com/PAIR-code/facets.git && \
cd facets && \ cd facets && \
jupyter nbextension install facets-dist/ --sys-prefix && \ jupyter nbextension install facets-dist/ --sys-prefix && \
rm -rf facets && \ cd && \
rm -rf /tmp/facets && \
fix-permissions $CONDA_DIR && \ fix-permissions $CONDA_DIR && \
fix-permissions /home/$NB_USER fix-permissions /home/$NB_USER
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment