From d23f26b7ca2681ed5fa21ad6bd55e6605c6a3b4c Mon Sep 17 00:00:00 2001 From: Mitchell Krog Date: Mon, 21 Jun 2021 12:26:11 +0200 Subject: [PATCH] [GHA] set xterm in generate-files --- dev-tools/generate-files.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/dev-tools/generate-files.sh b/dev-tools/generate-files.sh index 05c9bdcca..2a1809adf 100755 --- a/dev-tools/generate-files.sh +++ b/dev-tools/generate-files.sh @@ -41,10 +41,13 @@ # SOFTWARE. # ------------------------------------------------------------------------------ +set -e +set -o pipefail +TERM=xterm + # ------------------------ # Set Terminal Font Colors # ------------------------ - bold=$(tput bold) red=$(tput setaf 1) green=$(tput setaf 2)