From bc5a66f9e5f856ae92fb49ddf13b9f7cc951aa62 Mon Sep 17 00:00:00 2001 From: Todd Volkert Date: Wed, 22 Jun 2016 11:30:21 -0700 Subject: [PATCH] Color coding (#4687) --- dev/bots/test.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/dev/bots/test.sh b/dev/bots/test.sh index 6da3367cb0..6d99b44a31 100755 --- a/dev/bots/test.sh +++ b/dev/bots/test.sh @@ -8,9 +8,9 @@ detect_error_on_exit() { exit_code=$? set +x if [[ $exit_code -ne 0 ]]; then - echo "━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━" - echo "Error: script exited early due to error ($exit_code)" - echo "━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━" + echo -e "\x1B[31m━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━" + echo -e "\x1B[1mError:\x1B[0m\x1B[31m script exited early due to error ($exit_code)" + echo -e "━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\x1B[0m" fi }