From 507e0c7d2f8b4e8e8d6ee0ddd521d04e48a3fd7e Mon Sep 17 00:00:00 2001
From: "Wayne E. Seguin" <wayneeseguin@gmail.com>
Date: Wed, 14 Apr 2010 06:49:47 -0400
Subject: [PATCH] Account for term type 'unknown', thanks Chad Woolley.

---
 scripts/log | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/log b/scripts/log
index abd29272df..e82593eb9a 100755
--- 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>"     ;;