commit | 538980c449ca0c1b5e5d58f24ae5046a238659da | [log] [tgz] |
---|---|---|
author | Antono Vasiljev <self@antono.info> | 周六 12月 17 11:46:40 2011 +0300 |
committer | Antono Vasiljev <self@antono.info> | 周六 12月 17 11:46:55 2011 +0300 |
tree | 885179d6a24e189667ccb3cd5e7367702ab9b885 | |
parent | bd61f6e180fee87c2d2a4b652954ef53c6c32bb9 [diff] |
Set terminal emulatior title
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