gnome-terminal multi-tab titre title

capture d'écran

Après la mise à niveau vers Ubuntu 15.04, le titre de l’onglet Gnome Terminal était défini au centre de l’onglet.

Comment puis-je définir le titre à la gauche de l’onglet?

Laissez-moi répondre à ma question.

  1. Téléchargez le paquet source gnome-terminal

    apt-get source gnome-terminal 
  2. Installer les dépendances de construction requirejses pour gnome-terminal

     sudo apt-get build-dep gnome-terminal 
  3. Annulez le changement ci-dessous

https://github.com/GNOME/gnome-terminal/commit/468a18f5e21b42ee0efedf3d86203fbc4e02807e

  1. Reconditionner le code source

     tar zcf gnome-terminal_3.14.2.orig.tar.gz gnome-terminal-3.14.2 
  2. Construire un nouveau paquet gnome-terminal

     debuild -b 
  3. Installer le nouveau paquet gnome-terminal

     sudo dpkg -i gnome-terminal_xxx.deb 

Une autre solution consiste à remplacer le terminal Gnome par un terminal MATE.

 apt-get install mate-terminal