Fix for docker permissions. Goes with additional alias for docker cir…

…ctools.
jakobilab · Sep 27, 2024 · d7efe06 · d7efe06
1 parent 8f762dd
commit d7efe06
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docker/Dockerfile b/docker/Dockerfile
@@ -40,6 +40,8 @@ RUN git clone https://github.com/jakobilab/circtools.git ; ls -la circtools/; wg
 
 USER circtools
 
+WORKDIR /circtools/
+
 # define entrypoint
 
 ENTRYPOINT ["circtools"]