ci/sub: Update

This commit is contained in:
Anmol Sethi 2022-11-30 22:39:46 -08:00
parent 14a78f2a30
commit 20abda5ffe
No known key found for this signature in database
GPG key ID: 25BC68888A99A8BA
2 changed files with 6 additions and 4 deletions

View file

@ -66,7 +66,7 @@ should_color() {
fi
fi
if [ -t 1 ]; then
if [ -t 1 -a "${TERM-}" != dumb ]; then
_COLOR=1
return 0
else
@ -89,7 +89,8 @@ _echo() {
get_rand_color() {
# 1-6 are regular and 9-14 are bright.
# 1,2 and 9,10 are red and green but we use those for success and failure.
pick "$*" 3 4 5 6 11 12 13 14
pick "$*" 1 2 3 4 5 6 \
9 10 11 12 13 14
}
echop() {

View file

@ -72,7 +72,7 @@ should_color() {
fi
fi
if [ -t 1 ]; then
if [ -t 1 -a "${TERM-}" != dumb ]; then
_COLOR=1
return 0
else
@ -95,7 +95,8 @@ _echo() {
get_rand_color() {
# 1-6 are regular and 9-14 are bright.
# 1,2 and 9,10 are red and green but we use those for success and failure.
pick "$*" 3 4 5 6 11 12 13 14
pick "$*" 1 2 3 4 5 6 \
9 10 11 12 13 14
}
echop() {