Comment renommer le titre de l'onglet terminal dans gnome-terminal?

Utilisé pour pouvoir faire un clic droit sur l'onglet et changer le titre. Vous ne savez plus comment faire cela. Vient de passer à Fedora 21.

EDIT: je suis passé de gnome-terminal à ROXterm

Créer une fonction dans ~/.bashrc:

function set-title() {
  if [[ -z "$ORIG" ]]; then
    ORIG=$PS1
  fi
  TITLE="\[\e]2;$*\a\]"
  PS1=${ORIG}${TITLE}
}

Ensuite, utilisez votre nouvelle commande pour définir le titre du terminal. Cela fonctionne aussi avec des espaces dans le nom

set-title my new tab title

Il est possible de réutiliser ultérieurement set-title(la PS1 d'origine est conservée en tant que ORIG).

Le user titlecode a été retiré ¹ de gnome-terminal 3.14. Pour définir le titre, vous pouvez utiliser une séquence d'échappement:

printf "\e]2;YOUR TITLE GOES HERE\a"

ou par exemple avec bash:

PROMPT_COMMAND='echo -ne "\033]0;YOUR TITLE GOES HERE\007"'

^{1: voir le bogue gnome 724110 et le bogue gnome 740188 .}

Les nouvelles versions de gnome-terminal viennent de jeter les fonctionnalités professionnelles les plus utiles. :-(

J'ai essayé d'installer une version plus ancienne de gnome-terminal et de comparer les alternatives.

Si terminatorc'est trop exotique pour vous, mate-terminalc'est une excellente option! C'est une fourchette de gnome-terminal et ne conserve que toutes les bonnes fonctionnalités:

• vous pouvez ouvrir plusieurs onglets à partir de la ligne de commande en leur donnant différents titres

  mate-terminal --tab -t "aaa" --tab -t "bbb" --tab -t "ccc"
  

• vous pouvez configurer un raccourci clavier (j'utiliser Ctrl + Maj i ) de fixer à i TLE

Lorsque vous exécutez un programme résident tel que top ou ssh, l'onglet est correctement étiqueté.

gnome-terminal --tab -e top -t "aaa" --tab -e top -t "bbb" 

Si vous utilisez Ubuntu 16.04, vous devrez peut-être:

PS1=$
PROMPT_COMMAND=
echo -en "\033]0;New title\a"

J'énumère ceci un plus d'infos à son sujet au lien .

mettez ceci dans .bashrc:

function title() { 
  p1='echo -ne "\033]0;' 
  p2='\007"'
  PROMPT_COMMAND=$p1$@$p2 
  p1= 
  p2=
}

En tant qu'extension de la réponse de @Weston Ganger, si vous souhaitez définir automatiquement un titre lors de l'ouverture d'un nouveau terminal Gnome, ajoutez-le ensuite au bas de votre ~/.bashrc:

if [ ! -z "$SET_TITLE" ]; then
    set-title $SET_TITLE;
    export SET_TITLE=;
fi

Puis lancez un terminal du type:

gnome-terminal --tab -e 'bash -c "export SET_TITLE=\"my title\"; bash -i"'

et il sera automatiquement exécuté set-titlepour appliquer le titre.

solution en une ligne, ajoutez la ligne suivante dans votre fichier .bashrc

alias tab_name='read -p "Name to Assign:" tabname ;  printf "\e]2;$tabname\a" '

maintenant tapez tab_name dans le terminal c'est-à-dire

user:~$ tab_name  
Name to Assign: ( type desired name here! )

Terminé