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.
Téléchargez le paquet source gnome-terminal
apt-get source gnome-terminal
Installer les dépendances de construction requirejses pour gnome-terminal
sudo apt-get build-dep gnome-terminal
Annulez le changement ci-dessous
https://github.com/GNOME/gnome-terminal/commit/468a18f5e21b42ee0efedf3d86203fbc4e02807e
Reconditionner le code source
tar zcf gnome-terminal_3.14.2.orig.tar.gz gnome-terminal-3.14.2
Construire un nouveau paquet gnome-terminal
debuild -b
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