Réponses:
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.]
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 :(