From 6405ca19eebf6c9d32f56c37e3f346e2c97989e8 Mon Sep 17 00:00:00 2001 From: Mitchell Krog Date: Mon, 21 Jun 2021 12:35:29 +0200 Subject: [PATCH] [GHA] set xterm in generate-files --- dev-tools/generate-files.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-tools/generate-files.sh b/dev-tools/generate-files.sh index 2a1809adf..d14c57a1d 100755 --- a/dev-tools/generate-files.sh +++ b/dev-tools/generate-files.sh @@ -43,7 +43,7 @@ set -e set -o pipefail -TERM=xterm +export TERM=xterm # ------------------------ # Set Terminal Font Colors