diff --git a/package/docker/Dockerfile.ubuntu-jammy b/package/docker/Dockerfile.ubuntu-jammy index 2e11331caa..60b3eee5ee 100644 --- 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 index 53b726fc5a..c5274438d5 100644 --- 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 \