Dans Ubuntu 14.04, je pouvais styliser l'apparence du terminal gnome et de ses onglets en créant un fichier
/home/$user/.config/gtk-3.0/gtk.css
et y mettre du code CSS, par exemple
TerminalWindow .notebook tab.top:active{
padding: 0;
border-image: none;
background-color: #555;
}
[...]
Maintenant, sur Ubuntu 16.04, cela n'a aucun effet sur l'apparence du terminal gnome.
Comment puis-je modifier l'apparence du terminal gnome sur Ubuntu 16.04?
adwaita
. Il est livré pré-emballé avec n'importe quelle distribution GNOME. Par thème par défaut, je devine Ambiance. L'ambiance dans 16.04 est toujours à l'ancienne et vous devriez donc être en mesure de modifier les choses simplement contrairement au problème Numix que j'ai décrit. Si vous ne le pouvez pas, cela signifie simplement que les développeurs GNOME ont quelque chose de codé en dur :(Réponses:
Cela fonctionne pour moi:
Le code que j'ai ajouté est en bas. Le fichier que j'ai édité est
~/.themes/ORIG-Ambiance/gtk-3.0/apps/gnome-terminal.css
.Remarques:
Je viens de copier le dossier Ambiance
/usr/share/themes
et de le renommer afin de ne pas avoir besoin d'utiliser des privilèges élevés lors de la modification du fichier.J'ai trouvé qu'en utilisant,
#555
il était difficile de voir le texte dans l'onglet.J'ai également changé le
selected_fg_color
pour être sûr du thème et c'est pourquoi la barre de défilement n'est pas orange;)la source
Numix
en utilisant un outil d'ajustement et sélectionnez le nouveau thèmeORIG-Ambiance
dans le menu déroulant et redémarrez l'application, le gnome ou la session utilisateur?/usr/share/themes/Ambiance/gtk-3.0/apps/gnome-terminal.css
. De cette façon, vous n'aurez pas les tracas d'avoir à changer de thème. Bien sûr, vous devrez utilisersudo nano
ou tout ce que vous utilisez pour modifier les fichiers système. Et une sauvegarde serait une bonne idée. J'utilise la session Openbox de Lubuntu et cela ne nécessite pas que j'installe des outils spéciaux pour changer de thème. J'ai juste une liste de thèmes~/.config/gtk-3.0/settings.ini
avec tous sauf un commenté. La modification des thèmes au niveau de l'utilisateur consiste simplement à modifier ce fichier./etc/gtk-3.0/
.Déconnecter / fermer tous mes programmes et vous reconnecter a appliqué le thème après tout.
La référence de l'API GTK pour GtkCssProvider (la version de développement instable - je ne peux pas trouver les sections équivalentes pour stable) explique / confirme comment GTK lira le code CSS pour un thème au démarrage:
L'expérience précédente suggérait gnome-terminal tout ce que vous deviez faire était de fermer tous les onglets et fenêtres de gnome-terminal pour que les nouveaux thèmes prennent effet. Selon les documents, GTK devait peut-être passer par son initialisation, ou il y avait peut-être un
gnome-terminal
processus en cours d'exécution, me demandant de me déconnecter et de me reconnecter.la source