From 860a7108964ed11c8e5f9228d52c6095ee7ac550 Mon Sep 17 00:00:00 2001
From: Arthur Meyre <arthur.meyre@zama.ai>
Date: Fri, 10 Sep 2021 15:32:49 +0200
Subject: [PATCH] fix(docker): do not use login shell in dev image

---
 docker/Dockerfile.concretefhe-dev | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/Dockerfile.concretefhe-dev b/docker/Dockerfile.concretefhe-dev
index fb49959d3..9b3a6e1e9 100644
--- a/docker/Dockerfile.concretefhe-dev
+++ b/docker/Dockerfile.concretefhe-dev
@@ -13,4 +13,4 @@ RUN echo "source /${SRC_DIR_NAME}/.docker_venv/bin/activate" >> /root/.bashrc &&
 
 WORKDIR /${SRC_DIR_NAME}
 
-ENTRYPOINT ["/bin/bash", "-l"]
+CMD ["/bin/bash"]