Antworten:
Es scheint momentan nicht unterstützt zu werden, siehe diesen Upstream-Fehlerbericht .
Sie können jedoch einen Wrapper für gedit erstellen, der die gewünschten Plugins über gconftool-2 festlegt.
Das würde ungefähr so aussehen:
#!/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"
Speichern Sie dies nun irgendwo als z. gedit_profile und mach es ausführbar:
chmod +x gedit_profile
Um verschiedene Profile zu laden, rufen Sie es einfach mit einer durch Kommas getrennten Liste von Plugins auf, die Sie aktivieren möchten, zum Beispiel:
/path/to/gedit_profile "terminal,colorpicker"
[Natürlich können Sie dies dann in separate Trägerraketen legen.]
External Tools
Menüelemente (mit optionalen Tastenkombinationen) hinzuzufügen (Externe Tools sind ein Standard-Plugin). Ich war daran interessiert, weil mir die Idee von zwei Instanzen von gedit mit unterschiedlichen Farbeinstellungen gefällt, aber ich glaube nicht, dass gedit gleichzeitige Instanzen zulässt :(