From f1289827565662dba90ceedaeb045962c7cd83c2 Mon Sep 17 00:00:00 2001
From: Ayoub Benaissa <ayoub.benaissa@zama.ai>
Date: Wed, 2 Nov 2022 19:16:44 +0100
Subject: [PATCH] fix(docker): use bash as a shell

also uses directly the root home folder
---
 builders/Dockerfile.concrete-compiler-env | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/builders/Dockerfile.concrete-compiler-env b/builders/Dockerfile.concrete-compiler-env
index b037627e3..f57546fe8 100644
--- a/builders/Dockerfile.concrete-compiler-env
+++ b/builders/Dockerfile.concrete-compiler-env
@@ -10,7 +10,8 @@ RUN ccache -M 0
 RUN ccache -F 0
 # Install Rust
 RUN curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y
-ENV PATH=/$HOME/.cargo/bin:$PATH
+ENV PATH=/root/.cargo/bin:$PATH
+SHELL ["/bin/bash", "-c"]
 # Install boost
 ADD https://boostorg.jfrog.io/artifactory/main/release/1.71.0/source/boost_1_71_0.tar.gz /boost_1_71_0.tar.gz
 RUN tar -xzvf /boost_1_71_0.tar.gz