Ce qui suit a fonctionné pour moi pour renommer chaque onglet dans gnome-terminal. J'ai ajouté le code suivant à mon ~/.zshrc fichier.
precmd () { print -Pn "\e]0;$TITLE\a" }
title() { export TITLE="$*" }
Cela crée un titre fonction pour renommer chaque onglet.
Remarque, si vous utilisez oh-my-zsh vous devrez désactiver sa commande de titre automatique. Vous pouvez le faire en décommentant cette ligne dans votre ~/.zshrc fichier :
DISABLE_AUTO_TITLE="true"
Vous définissez le titre de votre fenêtre avec les séquences d'échappement xtem, dans la plupart des implémentations, la première fonctionnera mieux :
echo -en "\e]0;string\a" #-- Set icon name and window title to string
echo -en "\e]1;string\a" #-- Set icon name to string
echo -en "\e]2;string\a" #-- Set window title to string
MODIF : Ce qui précède ne définit le titre qu'une seule fois. Pour que zsh affiche toujours la piqûre dans le titre, vous ajoutez ce qui suit à votre .zprofile
dans votre répertoire personnel :
case $TERM in
xterm*)
precmd () {print -Pn "\e]0;string\a"}
;;
esac
Cela devrait fonctionner quel que soit le shell utilisé :
printf "\033];%s\07\n" "hello world"