Merge remote-tracking branch 'upstream-public/pr/1249' into development-proposed

This commit is contained in:
Gilles Peskine 2018-03-11 00:12:16 +01:00
commit 754768262b

View file

@ -328,7 +328,7 @@ if [ $KEEP_GOING -eq 1 ]; then
start_red= start_red=
end_color= end_color=
if [ -t 1 ]; then if [ -t 1 ]; then
case "$TERM" in case "${TERM:-}" in
*color*|cygwin|linux|rxvt*|screen|[Eex]term*) *color*|cygwin|linux|rxvt*|screen|[Eex]term*)
start_red=$(printf '\033[31m') start_red=$(printf '\033[31m')
end_color=$(printf '\033[0m') end_color=$(printf '\033[0m')