]> git.donarmstrong.com Git - zsh.git/commitdiff
do not include machine name when working locally
authormartin f. krafft <madduck@madduck.net>
Tue, 30 Sep 2008 17:30:31 +0000 (19:30 +0200)
committermartin f. krafft <madduck@madduck.net>
Tue, 30 Sep 2008 17:30:31 +0000 (19:30 +0200)
.zsh/zshrc/80_xtermtitle

index e41bb14459ebc184a81b4812307c388eaa94c12e..3c682ec1471f4e9a12b4e0a5212f0742c5ca9493 100644 (file)
@@ -32,7 +32,8 @@ __get_session_flags() {
 }
 
 __get_standard_prompt() {
-  print -P "%m%#%25\<..\<%~ $(__get_session_flags)"
+  [[ -z $SSH_CLIENT ]] || print -P "%m"
+  print -P "%#%25\<..\<%~ $(__get_session_flags)"
 }
 
 _set_plain_xterm_title() {