aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
-rw-r--r--docker/frontend/Dockerfile2
-rwxr-xr-xdocker/frontend/cmd.sh4
2 files changed, 3 insertions, 3 deletions
diff --git a/docker/frontend/Dockerfile b/docker/frontend/Dockerfile
index 337d4f6..9772186 100644
--- a/docker/frontend/Dockerfile
+++ b/docker/frontend/Dockerfile
@@ -21,7 +21,7 @@ RUN apk add --no-cache py3-pip && \
FROM base
-RUN apk add --no-cache bash cgit fcgiwrap python3 spawn-fcgi tini && \
+RUN apk add --no-cache cgit fcgiwrap python3 spawn-fcgi tini && \
# Replace the theme with the one I like better:
grep -q -F -- "style='pastie'" /usr/lib/cgit/filters/syntax-highlighting.py && \
sed -i -e "s/style='pastie'/style='vs'/" -- /usr/lib/cgit/filters/syntax-highlighting.py
diff --git a/docker/frontend/cmd.sh b/docker/frontend/cmd.sh
index 25ea3c7..4813c4f 100755
--- a/docker/frontend/cmd.sh
+++ b/docker/frontend/cmd.sh
@@ -1,6 +1,6 @@
-#!/usr/bin/env bash
+#!/bin/sh
-set -o errexit -o nounset -o pipefail
+set -e
# Honestly, I have no idea how this works, I just copy-pasted it from
# somewhere.