Fix Dockerfile editor settings writing (#158)

The script relies on Bash-specific features, so Bash must be used instead of POSIX sh or dash.
abarichello · Oct 22, 2024 · da71038 · da71038
1 parent 4d5edd8
commit da71038
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -2,6 +2,7 @@ FROM ubuntu:jammy
 LABEL author="https://github.com/aBARICHELLO/godot-ci/graphs/contributors"
 
 USER root
+SHELL ["/bin/bash", "-c"]
 ENV DEBIAN_FRONTEND=noninteractive
 RUN apt-get update && apt-get install -y --no-install-recommends \
     ca-certificates \

diff --git a/mono.Dockerfile b/mono.Dockerfile
@@ -2,6 +2,7 @@ FROM mono:latest
 LABEL author="https://github.com/aBARICHELLO/godot-ci/graphs/contributors"
 
 USER root
+SHELL ["/bin/bash", "-c"]
 ENV DEBIAN_FRONTEND=noninteractive
 RUN apt-get update && apt-get install -y --no-install-recommends \
     ca-certificates \