Onglets du terminal Gnome laid et surdimensionné

24

Le terminal gnome et le terminateur (que j'utilise sur mon ordinateur portable ces jours-ci) peuvent être personnalisés pour être très jolis. En utilisant le plein écran et en réduisant l'encombrement du bureau au minimum, il est possible d'obtenir une zone de bonne taille pour travailler, même sur mon petit EeePC.

Cependant, il y a un élément que je ne semble pas pouvoir contrôler. Les onglets de Gnome sont massivement surdimensionnés et laids au mieux. Ils ne correspondent pas du tout au thème qui a l'air idiot, mais pour moi, le plus gros problème est l'écran immobilier qui est gaspillé. Sur un petit écran d'ordinateur portable en particulier, c'est un vrai problème.

Existe-t-il un moyen de modifier ces onglets? Je me rends compte qu'il est possible de les placer sur le côté de la fenêtre, mais alors ils prennent encore plus de place!

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

texte alternatif

command-line gnome-terminal terminator

— poisson adam
source

2

En fait, les onglets correspondent parfaitement au thème Gtk que vous utilisez, car c'est le thème qui les peint comme ça. Il est cependant possible de remplacer un thème pour 1 application (voir les manuels / procédures de thème Gtk pour savoir comment faire). Je suppose que les boutons de fermeture rendent les onglets assez hauts.

— 2010

Le problème est bien décrit ici old.nabble.com/…

— Aleksandr Levchuk

adamnfish, +1 pour la question, mais je suggère de ne pas marquer la suggestion d'écran comme réponse correcte. L'écran GNU bascule, mais cela ne signifie pas que les onglets des terminaux doivent être moches

— Aleksandr Levchuk

-1

Essayez screen.

Créez différents "onglets" avec Ctrl-a cet basculez entre eux avec Ctrl-a Ctrl-a(pour basculer vers la fenêtre affichée précédemment) ou directement avec Ctrl-a <number of tab>(pour basculer vers le numéro de fenêtre "numéro d'onglet").

Ctrl-a " présente une liste de toutes les fenêtres pour la sélection.

Pour plus d'informations, consultez man screen.

— remuer
source

2

Ou même byobu, qui est comme un écran, mais présenté en Technicolor® ;-)

— Stefano Palazzo

Oui, je suis conscient que je pourrais utiliser l'écran à la place, mais j'utilise généralement emacs et je préfère ne pas perdre ctrl + a, par exemple. Je vais peut-être finir par suivre cette voie en personnalisant l'écran, mais il est bon que les contrôles des onglets soient cohérents avec le reste du système d'exploitation, donc s'il existe un moyen de réduire le rembourrage sur les onglets gnome, je préférerais cela!

— adamnfish

1

@adamnfish: vous pouvez configurer le raccourci de préfixe d'écran vers autre chose.

— 2010

5

-1 Parfois, je dois utiliser l'écran, parfois j'ai besoin d'utiliser des onglets. J'aimerais que les deux soient beaux.

— Aleksandr Levchuk,

3

Je vous recommande tmuxplus screen: mieux les fenêtres (imo) ( « onglets ») et « » (volets fractionnement écran vertical et horizontal (je lance. À l' emacsintérieur d'une tmuxséance exclusivement).

— jon

6

Comme l'a souligné JanC, terminatorutilise 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 = Falsevotre ~ / .config / terminator / config. Vous pouvez également changer le thème gtk. Ou, vous pouvez définir un paramètre gtk spécial spécialement pour terminator. Pour ce faire, ajoutez les lignes suivantes à votre gtkrcfichier:

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

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

Notez 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 le terminateur), 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 ces conseils peuvent contenir des erreurs.

— user20645
source

3

consultez urxvt. L'une des principales raisons pour lesquelles j'ai déménagé est la grande façon dont il gère les onglets.

Ajoutez ceci à votre .Xdefaults

 URxvt.perl-ext-common:  default,tabbed,matcher

— Meule
source

3

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

— Rayon
source