Set shell to bash to avoid https://www.shellcheck.net/wiki/SC3037

scikit-hep · Jul 5, 2023 · c0dc3ba · c0dc3ba
1 parent 3379784
commit c0dc3ba
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docker/Dockerfile b/docker/Dockerfile
@@ -23,6 +23,7 @@ FROM base
 
 USER root
 
+SHELL [ "/bin/bash", "-c" ]
 ENV PATH=/usr/local/venv/bin:"${PATH}"
 
 RUN apt-get -qq -y update && \