Quand je commence, gnome-terminal
ça a l'air plutôt agréable mais quand j'ouvre un autre onglet, les bordures deviennent laides:
Comment puis-je préserver la fine lunette tout en utilisant plusieurs onglets?
gnome-terminal
gui
Dmitriy Budnik
la source
la source
find / -name gnome-terminal.css
pour trouver la version la plus récente. Je devais éditer/usr/share/themes/Ambiance/gtk-3.20/apps/gnome-terminal.css
, pasgtk-3.0
.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
Collez le code suivant, fermez tous les terminaux et commencez un nouveau.
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.
la source
Le mien basé sur les réponses @topless et @jibreel.
Fond transparent et un thème sombre. Impressionnant.
la source
Merci @topless, également édité plus loin pour ressembler à ceci, notez le bord-rayon: 0, pour éviter les espaces blancs
la source
Vous pouvez soit essayer un autre thème, configurer Ambiance à votre guise, ou en obtenir un (à partir du centre logiciel Ubuntu):
la source