Parcourir la source

fix title settings for remote host

undefined
10sr il y a 10 ans
Parent
révision
d72e9e0e16
1 fichiers modifiés avec 1 ajouts et 2 suppressions
  1. +1
    -2
      shrc

+ 1
- 2
shrc Voir le fichier

@@ -1254,7 +1254,6 @@ __my_set_title(){
case $TERM in
(rxvt*|xterm*|aterm|screen*)
test -t 1 &&
test -n "$DISPLAY" &&
test -z "$EMACS" &&
echo -n -e "\033]0;$1\007"
;;
@@ -1265,7 +1264,7 @@ if test -n "$TMUX"
then
__terminal_title="\$(basename \${PWD})"
else
__terminal_title"\${USER}@\${HOSTNAME}\:\${PWD}"
__terminal_title="\${USER}@\${HOSTNAME}:\${PWD}"
fi
if $inzsh
then


Chargement…
Annuler
Enregistrer