diff --git a/plugins/available/xterm.plugins.bash b/plugins/available/xterm.plugins.bash new file mode 100644 index 00000000..94d4c33f --- /dev/null +++ b/plugins/available/xterm.plugins.bash @@ -0,0 +1,14 @@ +set_xterm_title () { + local title="$1" + echo -ne "\e]0;$title\007" +} + +precmd () { + set_xterm_title "${USER}@${HOSTNAME} `dirs -0` $PROMPTCHAR" +} + +preexec () { + set_xterm_title "$1 {`dirs -0`} (${USER}@${HOSTNAME})" +} + +preexec_install