GNU/Linux >> Tutoriels Linux >  >> Linux

Comment changer le titre du terminal Terminator, ZSH sur Debian ?

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"

Linux
  1. Comment définir ou modifier le nom d'hôte du système sous Linux

  2. Comment définir ou modifier le fuseau horaire sous Linux

  3. Définir une IP Statique sur Debian 11 - Comment faire ?

  4. Changer le titre du terminal ?

  5. Comment configurer des clés SSH sur Debian

Comment changer la police du terminal et la taille de la police sur Debian

Comment définir ou modifier le nom d'hôte dans Debian Linux

Comment changer ou définir un mot de passe utilisateur sous Linux

Comment définir ou modifier le fuseau horaire sur Debian 11

Comment changer le nom d'hôte sur Debian 10

Comment définir le titre du terminal sur la barre des tâches (panneau) ?