Parcourir la source

fix terminal title

undefined
10sr il y a 11 ans
Parent
révision
b71db8dd06
1 fichiers modifiés avec 14 ajouts et 6 suppressions
  1. +14
    -6
      shrc

+ 14
- 6
shrc Voir le fichier

@@ -1260,12 +1260,20 @@ __my_set_title(){
esac
}

if test -n "$TMUX"
then
__terminal_title="\$(basename \${PWD})"
else
__terminal_title="\${USER}@\${HOSTNAME}:\${PWD}"
fi
case "$TERM" in
screen*)
if test -n "$SSH_CONNECTION"
then
__terminal_title="\${USER}@\${HOSTNAME}:\$(basename \${PWD})"
else
__terminal_title="\$(basename \${PWD})"
fi
;;
*)
__terminal_title="\${USER}@\${HOSTNAME}:\${PWD}"
;;
esac

if $inzsh
then
precmd(){


Chargement…
Annuler
Enregistrer