Set terminal emulatior title

2011-12-17 11:46:40 +03:00 · 2011-12-17 11:46:40 +03:00 · 538980c449
parent bd61f6e180
commit 538980c449
1 changed files with 14 additions and 0 deletions
--- a/plugins/available/xterm.plugins.bash
+++ 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