From d38944d7c7979a88b7128e619802d20b9516e0cf Mon Sep 17 00:00:00 2001 From: Artem Sheremet Date: Fri, 22 Feb 2013 14:35:48 +0300 Subject: [PATCH] Changing terminal title when in ssh --- .rc | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/.rc b/.rc index 62fc842..ec7a97d 100644 --- a/.rc +++ b/.rc @@ -150,6 +150,20 @@ function fin() { find "$@" -iname "*$filename*" } +function title() { + echo -ne "\033]0;$*\007" +} + +function ssh() { + if [ $# -eq 1 ]; then + title "ssh:$1" + else + title "ssh" + fi + $(which ssh) "$@" + title "Terminal" +} + if [ -r ~/.rc_local ]; then . ~/.rc_local fi