Où est passée la configuration de style GTK3 du terminal gnome dans Ubuntu 16.04?

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?

gnome gtk3

— the_velour_fog
source

Pourriez-vous s'il vous plaît mentionner le nom du thème gtk3 que vous utilisez? Si vous avez essayé différents thèmes gtk3, quels sont-ils? La raison pour laquelle je pose la question est indiquée

— DK Bose

BTW, il y a pas mal de différences dans "gtk3" lors du passage de 14.04 (gtk 3.10) à 16.04 (gtk 3.18).

— DK Bose

@DKBose c'est le thème par défaut. J'ai essayé d'installer un thème une fois au cours des 6 dernières années, et en quelques heures - le système est complètement verrouillé, rien de tty. Ce qui est assez étonnant que le changement de certaines icônes et articles cosmétiques puisse entraîner une défaillance du système catastrophique. J'aimerais penser que ce n'était pas le thème, mais je ne veux plus prendre le risque!

— the_velour_fog

@DKBose si vous êtes intéressé par le thème que j'ai installé et qui aurait cassé mon système était numix GTK, il semble que vous ayez essayé aussi?

— the_velour_fog

OMI, vous êtes peut-être le plus en sécurité avec 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 :(

— DK Bose

Réponses:

Cela fonctionne pour moi:

/* gnome-terminal */
@define-color terminal_bg #300a24;

TerminalScreen {
    -TerminalScreen-background-darkness: 0.95;
    background-color: @terminal_bg;
    color: #fff;
}

TerminalScreenContainer .scrollbar:hover:not(.slider),
TerminalScreenContainer .scrollbar.dragging:not(.slider) {
    background-color: alpha(@scrollbar_track_color, 0.4);
}

/* Since .hovering class is not working here, we always
 use the same radius */
TerminalScreenContainer .scrollbar.slider.hovering,
TerminalScreenContainer .scrollbar.slider.dragging {
    border-radius: 1px;
}

TerminalScreenContainer .scrollbar {
    background-color: transparent;
}

TerminalWindow .notebook tab:active {
    padding: 0;
    border: none;
    background-color: #222;
}

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, #555il était difficile de voir le texte dans l'onglet.
J'ai également changé le selected_fg_colorpour être sûr du thème et c'est pourquoi la barre de défilement n'est pas orange;)

— DK Bose
source

oh wow, beau travail! Je travaille actuellement sur la définition des préférences du terminal gnome via le programme gsettings de gnome 3. Une fois fin, je vais essayer votre code et vous faire savoir comment ça s'est passé!

— the_velour_fog

J'ai essayé les choses que vous avez montrées et ça ne fait rien, je me demande juste comment vous avez appliqué ces changements? En ajoutant toute cette structure de dossiers, avez-vous essentiellement créé un nouveau thème? Si c'est le cas, cela signifie-t-il que vous devez appliquer le thème de la même manière que vous appliqueriez par exemple un thème comme Numixen utilisant un outil d'ajustement et sélectionnez le nouveau thème ORIG-Ambiancedans le menu déroulant et redémarrez l'application, le gnome ou la session utilisateur?

— the_velour_fog

Je pense que vous pouvez faire exactement ce que j'ai fait mais avec /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 utiliser sudo nanoou 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.iniavec tous sauf un commenté. La modification des thèmes au niveau de l'utilisateur consiste simplement à modifier ce fichier.

— DK Bose

Pour les modifications à l'échelle du système, le fichier correspondant se trouve /etc/gtk-3.0/.

— DK Bose

Merci. - upvote - même s'il ne résout pas directement le problème, il a toujours de bonnes informations sur la façon de modifier GTK. Je vais jeter un œil et vous faire savoir si cela fonctionne. merci

— the_velour_fog

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:

Une application peut amener GTK + à analyser une feuille de style CSS spécifique en appelant gtk_css_provider_load_from_file () et en ajoutant le fournisseur avec gtk_style_context_add_provider () ou gtk_style_context_add_provider_for_screen ().
De plus, certains fichiers seront lus lors de l'initialisation de GTK +. Tout d'abord, le fichier $ XDG_CONFIG_HOME / gtk-3.0 / gtk.css est chargé s'il existe.
Ensuite, GTK + essaie de charger $ HOME / .themes / theme-name / gtk-3.0 / gtk.css, en revenant à datadir / share / themes / theme-name / gtk-3.0 / gtk.css, où theme-name est le nom du thème actuel (voir le paramètre "gtk-theme-name") et datadir est le préfixe configuré lors de la compilation de GTK +, sauf s'il est remplacé par la variable d'environnement GTK_DATA_PREFIX.

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-terminalprocessus en cours d'exécution, me demandant de me déconnecter et de me reconnecter.

— the_velour_fog
source