From 702a594df3b49f40496e4840cae2d93c83d5bc4d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marc=20Cornell=C3=A0?= <marc.cornella@live.com>
Date: Sun, 9 Jun 2019 00:12:09 +0200
Subject: [PATCH] installer: don't rely on tput for coloring

tput is error-prone and may not be needed, since all the formatting
codes used are standard across all types of terminals.
---
 tools/install.sh | 21 +++++++++------------
 1 file changed, 9 insertions(+), 12 deletions(-)

diff --git a/tools/install.sh b/tools/install.sh
index d56d8addc..17b70bfea 100755
--- a/tools/install.sh
+++ b/tools/install.sh
@@ -50,25 +50,22 @@ error() {
 	echo ${RED}"Error: $@"${RESET} >&2
 }
 
-# Set up color sequences
 setup_color() {
-	ncolors=$(tput colors 2>/dev/null) || ncolors=0
-
-	# Only use colors if connected to a terminal that supports them
-	if [ -t 1 ] && [ $ncolors -ge 8 ]; then
-		RED="$(tput setaf 1)"
-		GREEN="$(tput setaf 2)"
-		YELLOW="$(tput setaf 3)"
-		BLUE="$(tput setaf 4)"
-		BOLD="$(tput bold)"
-		RESET="$(tput sgr0)"
-	else
+	# Only use colors if connected to a terminal
+	if [ -t 1 ]; then
 		RED=$(printf '\033[31m')
 		GREEN=$(printf '\033[32m')
 		YELLOW=$(printf '\033[33m')
 		BLUE=$(printf '\033[34m')
 		BOLD=$(printf '\033[1m')
 		RESET=$(printf '\033[m')
+	else
+		RED=""
+		GREEN=""
+		YELLOW=""
+		BLUE=""
+		BOLD=""
+		RESET=""
 	fi
 }