diff options
-rwxr-xr-x | etc/guix-install.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/etc/guix-install.sh b/etc/guix-install.sh index 3b91554796..c3137d3bc1 100755 --- a/etc/guix-install.sh +++ b/etc/guix-install.sh @@ -119,16 +119,12 @@ chk_gpg_keyring() chk_term() { # Check for ANSI terminal for color printing. - local ansi_term - if [ -t 2 ]; then if [ "${TERM+set}" = 'set' ]; then case "$TERM" in xterm*|rxvt*|urxvt*|linux*|vt*|eterm*|screen*) - ansi_term=true ;; *) - ansi_term=false ERR="[ FAIL ] " PAS="[ PASS ] " ;; |