diff options
| -rw-r--r-- | docker/frontend/Dockerfile | 2 | ||||
| -rwxr-xr-x | docker/frontend/cmd.sh | 4 |
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. |