Das Folgende hat für mich funktioniert, um jede Registerkarte im Gnome-Terminal umzubenennen. Ich habe den folgenden Code zu meiner ~/.zshrc hinzugefügt Datei.
precmd () { print -Pn "\e]0;$TITLE\a" }
title() { export TITLE="$*" }
Dadurch wird ein Titel erstellt Funktion zum Umbenennen jeder Registerkarte.
Beachten Sie, wenn Sie oh-my-zsh verwenden Sie müssen den automatischen Titelbefehl deaktivieren. Sie können dies tun, indem Sie diese Zeile in Ihrer ~/.zshrc auskommentieren Datei:
DISABLE_AUTO_TITLE="true"
Sie setzen Ihren Fenstertitel mit den xtem-Escape-Sequenzen, in den meisten Implementierungen wird die erste am besten funktionieren:
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
BEARBEITEN: Das obige legt den Titel nur einmal fest. Um zsh so einzustellen, dass der Stich immer im Titel angezeigt wird, fügen Sie Folgendes zu Ihrem .zprofile
hinzu in Ihrem Home-Verzeichnis:
case $TERM in
xterm*)
precmd () {print -Pn "\e]0;string\a"}
;;
esac
Dies sollte unabhängig von der verwendeten Shell funktionieren:
printf "\033];%s\07\n" "hello world"