Changed work directory of binder run
This commit is contained in:
parent
40470ceb0c
commit
8089fd9e3c
|
@ -31,6 +31,7 @@ RUN npm install @jupyterlab/server-proxy
|
||||||
RUN jupyter serverextension enable --py jupyter_server_proxy
|
RUN jupyter serverextension enable --py jupyter_server_proxy
|
||||||
RUN jupyter labextension install @jupyterlab/server-proxy
|
RUN jupyter labextension install @jupyterlab/server-proxy
|
||||||
RUN jupyter lab build
|
RUN jupyter lab build
|
||||||
|
WORKDIR /opt/openfpga/
|
||||||
RUN git reset --hard HEAD
|
RUN git reset --hard HEAD
|
||||||
|
|
||||||
# Set up terminal
|
# Set up terminal
|
||||||
|
|
Loading…
Reference in New Issue