diff options
| -rw-r--r-- | bash/bashrc | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/bash/bashrc b/bash/bashrc index 8d7fb8b..b0f0779 100644 --- a/bash/bashrc +++ b/bash/bashrc @@ -80,5 +80,14 @@ t() { __ht "tail -32" $@; } . ~/.config/bash/prompt PS1=$(__prompt_func) +# set the terminal window title +case "$TERM" in +xterm*|rxvt*) + PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD}\007"' + ;; +*) + ;; +esac + # source the machine-local configuration [ -r "$HOME/.config/bash/bashrc_local.bash" ] && . "$HOME/.config/bash/bashrc_local.bash" |