diff options
| author | Marc Vertes <mvertes@free.fr> | 2021-03-12 13:52:11 +0100 |
|---|---|---|
| committer | Marc Vertes <mvertes@free.fr> | 2021-03-12 13:52:11 +0100 |
| commit | 5c75618ff26969654a0572ae00b01f77d1898a71 (patch) | |
| tree | 743c71238c39e21721260892c6617de80395b40e | |
| parent | 050afa8def0739b459122b9d4c7fcf854ae1ed2a (diff) | |
fix titles
| -rw-r--r-- | .zshrc | 16 |
1 files changed, 16 insertions, 0 deletions
@@ -39,6 +39,22 @@ p() { [ -f "$1" -a ! -x "$1" ] && less -XF $1 || "$@" 2>&1 | less -XF ; } ty() { go test -v -short ./interp; } +# Term title management +function set-term-title-precmd() { + emulate -L zsh + print -rn -- $'\e]0;'${(V%):-'%~'}$'\a' >$TTY +} + +function set-term-title-preexec() { + emulate -L zsh + print -rn -- $'\e]0;'${(V)1}$'\a' >$TTY +} + +autoload -Uz add-zsh-hook +add-zsh-hook preexec set-term-title-preexec +add-zsh-hook precmd set-term-title-precmd +set-term-title-precmd + # Prompt source ~/.zsh-powerline.sh |
