Charger des fichiers de thème dans Gnome Terminal sur Ubuntu 15.04

11

Il semble que le chargement des fichiers de thème de Gnome Terminal ne fonctionne plus dans Ubuntu 15.04:

gconftool-2 --load terminal-flat-theme.xml

Cela ne change pas mon thème actuel.

Le fichier de thème ressemble à ceci .

Comment puis-je charger ce fichier XML en tant que thème?

command-line gnome 15.04 themes gnome-terminal Ionică Bizău
la source
Avez-vous essayé d'utiliser l'interface graphique de Gnome Tweak Tool pour configurer cela?
@ParanoidPanda Je ne sais pas comment cela fonctionnerait. Il s'agit d'un thème terminal et non d'un thème Gtk.
Ionică Bizău
Quelle version d'Ubuntu utilisez-vous?
@ParanoidPanda 15.04 - cela peut être lié à certains changements récents, car cela a fonctionné dans le passé.
Ionică Bizău
Comme vous pouvez le voir dconf-editor, cela a tout changé.
AB

Réponses:

6

J'ai eu le même problème dans le passé. Je l'ai surmonté, en générant un fichier lisible par la nouvelle version (3.14.2). Pour ce faire, vous pouvez visiter un site appelé terminal.sexy, y télécharger votre thème et le convertir en un script shell compatible avec gnome-terminal. Cela a fonctionné pour moi, car j'avais utilisé le thème de demain par base16.

La méthode d'installation sur une ligne:

exécutez la commande wget -O - http://git.io/vZijG | bashet passez à l'étape 5.

Étapes pour installer le thème manuellement:

  1. enregistrez le contexte du fichier dans un fichier shell (par exemple, theme.sh).
  2. puis exécutez le script en exécutant la commande sh filename.shou si vous rendez le script exécutable en exécutant chmod +x filename.sh, vous pouvez simplement exécuter le script en exécutant la commande ./filename.sh.
  3. Ensuite, vous pouvez aller dans le terminal -> changer de profil.
  4. Vous y verrez une liste de profils, où, si vous exécutez le script que j'ai donné ci-dessus, sera appelé terminal.flat.theme.
  5. Ensuite, vous pouvez aller dans le terminal -> préférences -> profils , et sélectionner Profil utilisé lors du lancement du terminal comme nouveau profil que nous venons de créer (dans ce cas, il sera nommé terminal.flat.theme.
  6. Redémarrez , et Voila , votre nouveau thème apparaîtra.

Le contenu du fichier de thème peut être trouvé ici .

Anmol Jagetia
la source
Comment faire ça? Pourriez-vous ajouter s'il vous plaît quelques captures d'écran ou des instructions étape par étape? Ça m'a l'air bien.
Ionică Bizău
Je peux générer un script pour vos couleurs, mais je crains de ne pas être très compétent pour y inclure d'autres paramètres et raccourcis. Aussi, j'ajouterai quelques captures d'écran, pour améliorer la qualité globale de la réponse.
Anmol Jagetia
Bien sûr, si vous générez un script qui pourrait aussi être sympa. Je suis heureux de vous accorder la prime, mais j'ai besoin de la solution. J'ai exporté le thème et exécuté le script qu'ils m'ont donné, mais cela ne change rien dans mon terminal Gnome (et j'ai sélectionné Gnome Terminal dans les boîtes de dialogue d'exportation).
Ionică Bizău
Le site est conçu avec xterm et mac à l'esprit, mais il existe une solution pour le faire fonctionner sur Gnome-Terminal. Je modifierai la réponse pour inclure toutes les étapes.
Anmol Jagetia
1
Mec, tu es génial! :)
Ionică Bizău