nom terminal / onglets

Existe-t-il un moyen de nommer une fenêtre de terminal ou encore mieux de donner un nom à chaque onglet. au moment où ils obtiennent juste le nom du processus sous-jacent: par exemple, un onglet exécutant elasticsearch obtient le nom java

Vous pouvez utiliser la solution de @bubu, ou vous pouvez cliquer avec le bouton droit sur l'onglet, sélectionner "Inspecter l'onglet" et définir le titre à partir de là.

Bien.

echo -n -e "\ 033] 0; En Russie soviétique, la barre de titre vous définit \ 007"

définira votre titre sur "En Russie soviétique, la barre de titre vous définit"

Si vous faites cela fréquemment, vous pouvez faire de la réponse de @ bubu une fonction dans votre bash_profile, comme ceci:

tab() {
    echo -ne "\033]0;$*\007"   
}

Et puis il suffit de l'appeler suivi du nom de l'onglet, par exemple tab Tab Title with Spaces!