Dans mon ordinateur portable professionnel, je suis sous Ubuntu Gnome 16.04.1 et je ne peux pas configurer Gnome Terminal pour utiliser le thème sombre.
Sur mon ordinateur personnel, j'utilise Arch Linux et Gnome Terminal dispose d'une case à cocher qui me permet de basculer vers le thème sombre.
A première vue, cela pourrait être causé par Arch utilisant une version plus récente de Gnome Terminal que Ubuntu. Mais le fait est qu’avant Arch, j’utilisais Debian 8 et que j’avais la même option disponible dans Gnome Terminal.
Pourquoi cette option n'est-elle pas disponible dans Ubuntu?
Pourquoi? Parce que Ubuntu Les développeurs GNOME ont décidé d’archiver cette option en disant "C’est plus difficile que ça vaut la peine" . Mais il sera disponible depuis Gnome Terminal 3.19 , ce qui signifie que nous le verrons dans 16.10. (Merci à egmont de m'avoir corrigé sur le fait que ce n'était pas une décision d'Ubuntus)
Mais vous pouvez activer la variante de thème sombre en utilisant
GTK_THEME=Adwaita:dark gnome-terminal
commander.
Si vous le souhaitez, vous pouvez même modifier la ligne EXEC
dans le fichier .desktop
du terminal gnome.
Exec=env GTK_THEME=Adwaita:dark gnome-terminal
Une autre option consiste à activer la variante sombre pour toutes les applications utilisant l'outil Gnome Tweak . Installez-le, ouvrez-le et, dans l'onglet Général, sélectionnez l'option Utiliser un thème sombre .
Cochez cette question pour plus