diff --git a/package/docker/Dockerfile.ubuntu-jammy b/package/docker/Dockerfile.ubuntu-jammy index bad20a3992..2e11331caa 100644 --- a/package/docker/Dockerfile.ubuntu-jammy +++ b/package/docker/Dockerfile.ubuntu-jammy @@ -20,6 +20,7 @@ RUN apt-get update COPY pyk /pyk RUN pipx install poetry \ && pipx ensurepath \ + && source /root/.bashrc \ && cd /pyk \ && make build \ && pip install dist/*.whl \ diff --git a/package/docker/Dockerfile.ubuntu-noble b/package/docker/Dockerfile.ubuntu-noble index 33ab34aceb..53b726fc5a 100644 --- a/package/docker/Dockerfile.ubuntu-noble +++ b/package/docker/Dockerfile.ubuntu-noble @@ -20,6 +20,7 @@ RUN apt-get update COPY pyk /pyk RUN pipx install poetry \ && pipx ensurepath \ + && source /root/.bashrc \ && cd /pyk \ && make build \ && pip install dist/*.whl \