From 8089fd9e3c5258eaedb76827e28982125e4a3d8c Mon Sep 17 00:00:00 2001 From: Ganesh Gore Date: Thu, 2 Feb 2023 16:12:53 -0700 Subject: [PATCH] Changed work directory of binder run --- Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/Dockerfile b/Dockerfile index f052ae613..3c9a13e4c 100644 --- a/Dockerfile +++ b/Dockerfile @@ -31,6 +31,7 @@ RUN npm install @jupyterlab/server-proxy RUN jupyter serverextension enable --py jupyter_server_proxy RUN jupyter labextension install @jupyterlab/server-proxy RUN jupyter lab build +WORKDIR /opt/openfpga/ RUN git reset --hard HEAD # Set up terminal