Comment puis-je lancer 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?

    
posée MetaDark 06.12.2010 - 22:05
la source

1 réponse

5

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

Cependant, vous pouvez créer un wrapper pour gedit, qui définit les plug-ins spécifiques que vous voulez 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" "[]"
gedit
gconftool-2 --set --type list --list-type string "/apps/gedit-2/plugins/active-plugins" "$old_config"

Maintenant, sauvegardez ceci quelque part comme par exemple. gedit_profile et rendez-le exécutable:

chmod +x  gedit_profile

Pour charger différents profils, appelez-le simplement avec une liste de plug-ins 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.]

    
réponse donnée htorque 06.12.2010 - 22:29
la source

Lire d'autres questions sur les étiquettes