From 538980c449ca0c1b5e5d58f24ae5046a238659da Mon Sep 17 00:00:00 2001 From: Antono Vasiljev Date: Sat, 17 Dec 2011 11:46:40 +0300 Subject: [PATCH] Set terminal emulatior title --- plugins/available/xterm.plugins.bash | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 plugins/available/xterm.plugins.bash diff --git a/plugins/available/xterm.plugins.bash b/plugins/available/xterm.plugins.bash new file mode 100644 index 0000000..94d4c33 --- /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 -- 2.17.1