Enlevez le gros bazel de gnome-terminal avec plusieurs onglets

34

Quand je commence, gnome-terminalça a l'air plutôt agréable mais quand j'ouvre un autre onglet, les bordures deviennent laides:

graisse-laid-gnome-terminal-lunette

Comment puis-je préserver la fine lunette tout en utilisant plusieurs onglets?

Dmitriy Budnik
la source

Réponses:

24

Après avoir déconné, j'ai compris.

Modifier /usr/share/themes/Ambiance/gtk-3.0/apps/gnome-terminal.csset ajouter:

 TerminalWindow .notebook {
   padding: 0;
   border-width: 0;
 }

Bug trouvé sur ceci: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/694468

Jonah Braun
la source
2
Hmm, cela semble rendre la lunette assez petite pour moi dans les deux gnome-terminal et gnome-terminator. Merci de l'avoir signalé! Je trouve ça un peu hilarant que même Mark Shuttleworth puisse poster un bogue dans launchpad et ne le répare pas 2 ans plus tard;)
Ibrahim
1
Je l'ai encore amusé et finalement il a fonctionné! Voyons maintenant si je peux appliquer ce correctif à Terminator également.
Jonah Braun
@Ibrahim, ils avaient GTK2 il y a 2 ans, est maintenant beaucoup plus facile avec CSS.
Dmitriy Budnik
C'est vrai, mais Mark Shuttleworth a répondu il y a un an en demandant si ce correctif pouvait être intégré à Ubuntu, mais ce n'était pas le cas;)
Ibrahim
Comme suggéré dans un commentaire ici , vous pouvez utiliser find / -name gnome-terminal.csspour trouver la version la plus récente. Je devais éditer /usr/share/themes/Ambiance/gtk-3.20/apps/gnome-terminal.css, pas gtk-3.0.
1 ''
18

En règle générale, il est recommandé de ne pas modifier les fichiers d'origine, mais de remplacer leurs valeurs en fonction de vos préférences.

Si vous ne l'avez pas déjà, créez ou ouvrez un fichier gtk.css dans ce chemin

~/.config/gtk-3.0/gtk.css

Collez le code suivant, fermez tous les terminaux et commencez un nouveau.

@define-color bg-grey #222;
@define-color active-grey #333;
@define-color border-grey #555;


TerminalWindow .notebook {
  border: 0;
  padding: 0;
  color: #eee;
  background-color: shade(@active-grey, 1);
}

TerminalWindow .notebook tab:active {
  border: 1px solid @border-grey;
  background-color: shade(@active-grey, 1);
}

TerminalWindow .notebook tab {
  background-color: shade(@bg-grey, 1);
}

Maintenant, non seulement cela enlèvera les bordures comme vous le voudriez mais aussi "s'adaptera" mieux avec le fond sombre, mes yeux "blessés" avec le gris clair. Le résultat, lorsque vous avez plusieurs onglets, devrait ressembler à ceci. Vous pouvez bien sûr le personnaliser en modifiant les variables de couleur selon vos préférences.

entrez la description de l'image ici

aux seins nus
la source
Travaillé comme un charme +1
Jukebox
9

Le mien basé sur les réponses @topless et @jibreel.
Fond transparent et un thème sombre. Impressionnant.

@define-color bg-grey #222;
@define-color active #313131;

TerminalWindow .notebook {
    border: 0;
    padding: 0;
    color: #fff;
    background-color: shade(@active, 1);
}

TerminalWindow .notebook tab:active {
    background-color: shade(@active,1);
}

TerminalWindow .notebook tab {
    border-radius: 0px;
    padding: 3px;
    background-color: shade(@bg-grey, 1);
}

entrez la description de l'image ici

Parto
la source
1
Toutes ces réponses ont été utiles et m'ont appris à quel point GTK est génial pour avoir des thèmes basés sur CSS. Cette réponse, cependant ... celle-ci est la meilleure. Beau look. Je ne vais même pas modifier cela plus avant, comme je l'avais prévu.
Carl Zulauf
3

Merci @topless, également édité plus loin pour ressembler à ceci, notez le bord-rayon: 0, pour éviter les espaces blancs

@define-color bg-grey #222;
@define-color active #300A24;

TerminalWindow .notebook {
  border: 0;
  padding: 0;
  color: #eee;
  background-color: shade(@active-grey, 1);
}

TerminalWindow .notebook tab:active {
  background-color: shade(@active, 1);
}

TerminalWindow .notebook tab {
  border-radius: 0px;
  background-color: shade(@bg-grey, 1);
}

entrez la description de l'image ici

jibreel
la source
0

Vous pouvez soit essayer un autre thème, configurer Ambiance à votre guise, ou en obtenir un (à partir du centre logiciel Ubuntu):

  • Terminateur
  • xterm
  • Roxterm
  • Tilda
  • Guake
  • ...
tornade
la source
Je sais qu'il existe d'autres applications de terminal disponibles, elles me paraissent toutes très laides
Dmitriy Budnik