use distfiles for bash patches

[packages/bash.git] / bashrc

diff --git a/bashrc b/bashrc
index d6a2ecc63f404bc5401e5a198bafcece54ab9ad8..5ef300fb445ea311b3f75044796ac68387864520 100644 (file)
--- a/bashrc
+++ b/bashrc
@@ -13,7 +13,7 @@ fi
 
 # If this is an xterm set the title to user@host:dir
 case $TERM in
-       gnome|nxterm|xterm*|rxvt*)
+       gnome*|nxterm|xterm*|rxvt*|konsole*)
                PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD}\007"'
                ;;
        *)