Comment puis-je exécuter gedit avec une configuration différente


8

Je veux utiliser gedit comme IDE de programmation et comme éditeur de texte normal. Serais-je capable de créer un fichier .desktop pour charger une configuration différente?

Réponses:


5

Il ne semble pas être pris en charge pour le moment, consultez ce rapport de bogue en amont .

Cependant, vous pouvez créer un wrapper pour gedit, qui définit les plugins spécifiques que vous souhaitez via gconftool-2.

Cela ressemblerait à quelque chose comme:

#!/bin/bash
old_config=$(gconftool-2 --get "/apps/gedit-2/plugins/active-plugins")
gconftool-2 --set --type list --list-type string "/apps/gedit-2/plugins/active-plugins" "[$1]"
gedit
gconftool-2 --set --type list --list-type string "/apps/gedit-2/plugins/active-plugins" "$old_config"

Maintenant, enregistrez cela quelque part comme par exemple gedit_profile et le rendre exécutable:

chmod +x  gedit_profile

Pour charger différents profils, appelez-le simplement avec une liste de plugins séparés par des virgules que vous souhaitez activer, par exemple:

/path/to/gedit_profile "terminal,colorpicker"

[Bien sûr, vous pouvez ensuite mettre cela dans des lanceurs séparés.]


Cela fonctionne mieux pour mes besoins: #! / Bin / bash normalConfig = gconftool-2 -g "/ apps / gedit-2 / plugins / active-plugins" gconftool-2 -s --type list --list-type string " / apps / gedit-2 / plugins / active-plugins "" [$ 1] "gedit gconftool-2 -s --type list --list-type string" / apps / gedit-2 / plugins / active-plugins "" [ $ normalConfig] "
MetaDark

Oui, c'est la version avancée (d'où la partie "quelque chose comme" dans ma réponse: P).
htorque

La définition de valeurs via gconf fonctionne également pour d'autres options (par exemple, le jeu de couleurs) ... Parce que le nouveau paramètre est efficace immédiatement, l'ajout de quelques External Toolséléments de menu (avec des touches de raccourci en option) peut convenir (External Tools est un plugin standard). .. Cela m'a intéressé parce que j'aime l'idée de deux instances de gedit avec des paramètres de couleurs différents, mais je ne pense pas que gedit autorise les instances concurrernt :(
Peter.O
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.