Quanto segue ha funzionato per me per rinominare ogni scheda in gnome-terminal. Ho aggiunto il seguente codice al mio ~/.zshrc file.
precmd () { print -Pn "\e]0;$TITLE\a" }
title() { export TITLE="$*" }
Questo crea un titolo funzione per rinominare ogni scheda.
Nota, se stai usando oh-my-zsh dovrai disabilitare il suo comando di titolo automatico. Puoi farlo decommentando questa riga nel tuo ~/.zshrc file:
DISABLE_AUTO_TITLE="true"
Imposta il titolo della tua finestra con le sequenze di escape xtem, nella maggior parte delle implementazioni la prima funzionerà meglio:
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
MODIFICA: Quanto sopra imposta il titolo solo una volta. Per impostare zsh in modo che visualizzi sempre la puntura nel titolo, aggiungi quanto segue al tuo .zprofile
nella tua home directory:
case $TERM in
xterm*)
precmd () {print -Pn "\e]0;string\a"}
;;
esac
Questo dovrebbe funzionare indipendentemente dalla shell utilizzata:
printf "\033];%s\07\n" "hello world"