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"]