Updated start-container.sh

darrenldl · Aug 9, 2023 · cec2745 · cec2745
1 parent 91f552b
commit cec2745
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/start-container.sh b/start-container.sh
@@ -2,5 +2,6 @@
 podman run -it \
   -v ~/docfd:/home/opam/docfd \
   --userns keep-id:uid=$(id -u),gid=$(id -g) \
+  --workdir /home/opam/docfd \
   --rm \
   localhost/docfd