[patch] profile.diff

profile.diff (text/plain), 935 bytes, created by José Fonseca on 2002-06-27 07:31:53 UTC

--- profile.old	Thu Jun 27 13:05:04 2002
+++ profile	Thu Jun 27 13:11:14 2002
@@ -14,12 +14,28 @@
 then
 	if [ "$SHELL" = '/bin/bash' ] || [ "$SHELL" = '/bin/sh' ]
 	then
+		case $TERM in
+			xterm*)
+				PROMPT_COMMAND='echo -ne "\033]0;${HOSTNAME%%.*}:${PWD/$HOME/~}\007"'
+				;;
+			screen)
+				PROMPT_COMMAND='echo -ne "\033_${HOSTNAME%%.*}:${PWD/$HOME/~}\033\\"'
+				;;
+		esac
 		export PS1='\[\033[01;31m\]\h \[\033[01;34m\]\W \$ \[\033[00m\]'
 	fi
 	export PATH="/bin:/sbin:/usr/bin:/usr/sbin:${ROOTPATH}"
 else
 	if [ "$SHELL" = '/bin/bash' ] || [ "$SHELL" = '/bin/sh' ]
 	then
+		case $TERM in
+			xterm*)
+				PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME%%.*}:${PWD/$HOME/~}\007"'
+				;;
+			screen)
+				PROMPT_COMMAND='echo -ne "\033_${USER}@${HOSTNAME%%.*}:${PWD/$HOME/~}\033\\"'
+				;;
+		esac
 		export PS1='\[\033[01;32m\]\u@\h \[\033[01;34m\]\W \$ \[\033[00m\]'
 	fi
 	export PATH="/bin:/usr/bin:${PATH}"