From 723a83dd68bd0a851aecdf731eb56472c2e8b96b Mon Sep 17 00:00:00 2001 From: Hlib Date: Wed, 3 Feb 2021 13:34:47 +0100 Subject: [PATCH] Dockerfile: add pyenv init to /etc/profile --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index a73d98e4..e4480b21 100644 --- a/Dockerfile +++ b/Dockerfile @@ -67,4 +67,4 @@ RUN rm -rf /usr/src/tools/RefactoringMiner ENV SOFTWARE_DIR /usr/src/tools RUN pyenv global 3.8.0 -RUN echo 'eval "$(pyenv init -)"' >> ~/.bashrc +RUN echo 'eval "$(pyenv init -)"' >> /etc/profile