bugfix for bourne shell

runtimeverification · Aug 26, 2024 · 55aad72 · 55aad72
1 parent c300070
commit 55aad72
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/package/docker/Dockerfile.ubuntu-jammy b/package/docker/Dockerfile.ubuntu-jammy
@@ -20,7 +20,7 @@ RUN    apt-get update
 COPY pyk /pyk
 RUN pipx install poetry       \
     && pipx ensurepath        \
-    && source /root/.bashrc   \
+    && . /root/.profile       \
     && cd /pyk                \
     && make build             \
     && pip install dist/*.whl \

diff --git a/package/docker/Dockerfile.ubuntu-noble b/package/docker/Dockerfile.ubuntu-noble
@@ -20,7 +20,7 @@ RUN    apt-get update
 COPY pyk /pyk
 RUN pipx install poetry       \
     && pipx ensurepath        \
-    && source /root/.bashrc   \
+    && . /root/.profile       \
     && cd /pyk                \
     && make build             \
     && pip install dist/*.whl \