GNU/Linux >> LINUX-Kenntnisse >  >> Linux

Wie ändere ich den Titel des Terminator-Terminals, ZSH unter Debian?

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"

Linux
  1. So legen Sie den System-Hostnamen unter Linux fest oder ändern ihn

  2. So stellen oder ändern Sie die Zeitzone in Linux

  3. Festlegen einer statischen IP auf Debian 11 - Wie geht das?

  4. Terminaltitel ändern?

  5. So ändern Sie den Hostnamen in Debian

So ändern Sie die Schriftart und die Schriftgröße des Terminals unter Debian

So setzen oder ändern Sie den Hostnamen in Debian Linux

So ändern oder setzen Sie das Benutzerkennwort in Linux

So stellen oder ändern Sie die Zeitzone unter Debian 11

So ändern Sie den Hostnamen unter Debian 10

Wie lege ich den Titel des Terminals in der Taskleiste (Panel) fest?