From c0dc3ba6725500bf9bea22fbd6abbc25115af2c8 Mon Sep 17 00:00:00 2001
From: Matthew Feickert <matthew.feickert@cern.ch>
Date: Wed, 5 Jul 2023 11:43:13 -0500
Subject: [PATCH] Set shell to bash to avoid
 https://www.shellcheck.net/wiki/SC3037

---
 docker/Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docker/Dockerfile b/docker/Dockerfile
index 18af49e312..50c2f31e95 100644
--- 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 && \