Add "--shell-setup" to "opam init"

Author: monadius

.github/workflows/ci.yml

@@ -33,7 +33,7 @@ jobs:
       - name: Run Domainslib Example
         run: bin/run examples/domainslib
 
-      - name: Run Zartih Example
+      - name: Run Zarith Example
         run: bin/run examples/zarith
 
       - name: Report Image Size

Dockerfile

@@ -17,7 +17,7 @@ USER codewarrior
 ENV USER=codewarrior
 
 RUN set -ex; \
-    opam init -y --disable-sandboxing --compiler=5.0.0;
+    opam init -y --shell-setup --disable-sandboxing --compiler=5.0.0;
 
 RUN set -ex; \
     opam install -y \

DockerfileAlpine

@@ -18,7 +18,7 @@ USER codewarrior
 ENV USER=codewarrior
 
 RUN set -ex; \
-    opam init -y --disable-sandboxing --compiler=5.0.0;
+    opam init -y --shell-setup --disable-sandboxing --compiler=5.0.0;
 
 RUN set -ex; \
     opam install -y \