[patch] Patch that restores the original terminal colour

java-config.patch (text/plain), 1.37 KB, created by Alex Buell on 2003-05-04 14:20:02 UTC

--- java-config.orig	2003-05-04 14:57:03.000000000 +0100
+++ java-config	2003-05-04 15:20:55.000000000 +0100
@@ -168,12 +168,12 @@
 }
 
 function env_update() {
-	echo -e "\033[01;37m * \033[01;32m You should login again to make your java-config changes available"
+	echo -e "\033[01;37m * \033[01;32m You should login again to make your java-config changes available\033[m"
 	if [ $UID == 0 ]; then
 		env-update
-		echo -e "\033[01;37m * \033[01;32m Or, you can type 'source /etc/profile' in your current session."
+		echo -e "\033[01;37m * \033[01;32m Or, you can type 'source /etc/profile' in your current session.\033[m"
 	else
-		echo -e "\033[01;37m * \033[01;32m Or, you can type 'source ~/.gentoo/java-env' in your current session."
+		echo -e "\033[01;37m * \033[01;32m Or, you can type 'source ~/.gentoo/java-env' in your current session.\033[m"
 	fi
 }
 
@@ -348,9 +348,9 @@
 				for i in `find /etc/env.d/java/ -name "20*-*"` ; do
 					if [ "`vm_exists $i`" == "true" ]; then
 						if [ "`vm_shortname_path_opt_only $JAVA_HOME`" == "`vm_shortname $i`" ]; then
-							echo -e "\033[01;33m [`vm_shortname $i`] `vm_version $i` (*)"
+							echo -e "\033[01;33m [`vm_shortname $i`] `vm_version $i` (*)\033[m"
 						else
-							echo -e "\033[01;37m [`vm_shortname $i`] `vm_version $i` ()"
+							echo -e "\033[01;37m [`vm_shortname $i`] `vm_version $i` ()\033[m"
 						fi	
 					fi
 				done