From 1026a02fdd43f94d618cca91feec13a49642ba12 Mon Sep 17 00:00:00 2001
From: Stephanos Ioannidis <root@stephanos.io>
Date: Tue, 22 Oct 2024 16:50:20 +0900
Subject: [PATCH] Dockerfile: Use 'SHELL' command to set default shell

This commit updates the Dockerfile to use the `SHELL` command to set the
default shell to bash.

Signed-off-by: Stephanos Ioannidis <root@stephanos.io>
---
 Dockerfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index ea6aa78..c574968 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -5,8 +5,8 @@ ARG CMAKE_VERSION=3.30.5
 ARG UID=1001
 ARG GID=1001
 
-# Make bash the default shell
-ENV SHELL=/bin/bash
+# Set default shell during Docker image build to bash
+SHELL ["/bin/bash", "-c"]
 
 # Install packages
 RUN apt-get clean