From c300070ecac42b1a06310d3a85c688e09f8eb1b5 Mon Sep 17 00:00:00 2001 From: Dwight Guth Date: Mon, 26 Aug 2024 14:10:26 -0500 Subject: [PATCH] source environment variable --- package/docker/Dockerfile.ubuntu-jammy | 1 + package/docker/Dockerfile.ubuntu-noble | 1 + 2 files changed, 2 insertions(+) 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 \