From 9f6fe21e5a1d46fd9b8c744deadaaf4114e302c7 Mon Sep 17 00:00:00 2001 From: Matthijs van der Burgh Date: Sun, 10 Mar 2024 20:39:18 +0100 Subject: [PATCH] (CI) fix echo styling --- ci/mirror-upstream.bash | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/mirror-upstream.bash b/ci/mirror-upstream.bash index 7c095d85b..a65cad34c 100755 --- a/ci/mirror-upstream.bash +++ b/ci/mirror-upstream.bash @@ -8,7 +8,7 @@ set -o errexit # Execute script only in a CI environment if [ "$CI" != "true" ] then - echo -e "\e[35;1m Error!\e[0m Trying to execute a CI script in a non-CI environment. Exiting script." + echo -e "\e[35;1mError!\e[0m Trying to execute a CI script in a non-CI environment. Exiting script." exit 1 fi