web-dev-qa-db-fra.com

Gnome Terminal tab moche et surdimensionné

Le terminal gnome et le terminateur (que j'utilise actuellement sur mon ordinateur portable) peuvent être personnalisés pour être très jolis. En utilisant le plein écran et en minimisant l'encombrement du bureau, il est possible de travailler dans une zone de bonne taille, même sur mon petit EeePC.

Cependant, il y a un élément que je ne semble pas être capable de contrôler. Les onglets de Gnome sont massivement surdimensionnés et laids au mieux. Ce qui est ridicule, c’est qu’ils ne rentrent pas dans le thème, mais pour moi, le plus gros problème est l’écran d’immobilier gaspillé. Sur un petit écran d'ordinateur portable en particulier, c'est un réel problème.

Y a-t-il un moyen de changer ces onglets? Je me rends compte qu'il est possible de les placer sur le côté de la fenêtre, mais ensuite, ils occupent encore plus espace!

Si cela n’est pas possible avec la configuration de thème ou de gnome, existe-t-il des programmes de terminal tels que Terminator pouvant gérer les onglets eux-mêmes? (Idéalement d'une manière plus élégante!)

alt text

command-linegnome-terminalterminator
24
adamnfish

Comme l'a souligné JanC, terminator utilise le thème gtk par défaut sur votre système. Il est vrai que le problème peut être résolu en mettant close_button_on_tab = False dans votre ~/.config/terminator/config. Vous pouvez également changer le thème gtk. Vous pouvez également définir un paramètre gtk spécial spécialement pour terminator. Pour ce faire, ajoutez les lignes suivantes à votre fichier gtkrc:

style "notebook" = "default"
{
    xthickness = 0
    ythickness = 0
}

widget_class "terminator*.GtkNotebook"       style "notebook"
class "terminator*.GtkNotebook"              style "notebook"

Observez que vous modifiez le widget Gtk standard appelé "GtkNotebook". C'est ce qui est responsable des onglets. Si vous voulez que cela fonctionne dans toutes les applications (pas seulement dans Terminator), utilisez plutôt:

widget_class "*GtkNotebook"       style "notebook"
class "*GtkNotebook"              style "notebook"

Cela affectera alors toutes les applications. Pour changer la couleur du texte dans l'onglet, utilisez:

style "notebook_maybelabel" = "default"
{ 
   fg[NORMAL]        = "#0000AA"
   text[NORMAL]        = "#0000AA"
}

widget_class "terminator*.GtkNotebook*"       style "notebook_maybelabel"
class "terminator*.GtkNotebook*"              style "notebook_maybelabel"

Je ne suis pas un expert Gtk, et ce conseil peut contenir des erreurs.

6
user20645

Il est possible via le fichier de configuration GTK CSS. Créez le ~/.config/gtk-3.0/gtk.css puis vous pourrez ajouter du sélecteur CSS et ses attributs. Il y a quelques bons exemples: Supprimez le vilain gros bazel de gnome-terminal avec plusieurs onglets

3
Ray

découvrez urxvt. L'une des principales raisons pour lesquelles j'ai opté pour cette solution est son excellente gestion des onglets.

Ajoutez ceci à vos .Xdefaults

 URxvt.Perl-ext-common:  default,tabbed,matcher
3
Rick