Account for term type 'unknown', thanks Chad Woolley.

rvm · Apr 14, 2010 · 507e0c7 · 507e0c7
1 parent 16662d2
commit 507e0c7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/log b/scripts/log
@@ -6,7 +6,7 @@ if [[ ! -z "$2" ]] ; then level=$1 ; shift ; else level="info" ; fi
 
 message=$1
 
-if [[ -z "$rvm_interactive" ]] || [[ -z "$TERM" ]] ; then
+if [[ -z "$rvm_interactive" ]] || [[ -z "$TERM" ]] || [[ "unknown" = "$TERM" ]] ; then
   case "$level" in
     debug) shift ; echo -e "<d>$message </d>"     ;;
     info)  shift ; echo -e "<i>$message </i>"     ;;