Comment changer temporairement le nom de l'un des sous-terminaux dans Terminator à partir de la ligne de commande de ce sous-terminal?
J'ai essayé par exemple ceci:
echo -ne "\033]0;SOME TITLE HERE\007"
mais sans succès
Je viens de frapper le même problème et pense que c'est un bug/fonctionnalité.
J'utilise 'terminator 0.97' et pour moi, ce qui suit ne fonctionne que si vous n'avez pas encore défini le titre de votre terminal de terminaison avec '--title' ou '-T':
echo -ne "\033]0;SOME TITLE HERE\007"
Je suis sur Ubuntu 15.04, en utilisant BASH dans Terminator. Cela semble fonctionner pour moi:
$ echo -en "\e]2;YOUR TITLE HERE\a"
J'ai créé cette fonction dans ~/.bashrc
function title()
{
echo -en "\e]2;$1\a"
}
Utilisez-le sur la ligne de commande comme:
$ title 'MY NEW TITLE'