Ответы:
Похоже, что сейчас это не поддерживается, см. Вышеприведенный отчет об ошибках .
Однако вы можете создать оболочку для gedit, которая устанавливает нужные плагины через gconftool-2.
Это будет выглядеть примерно так:
#!/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"
Теперь сохраните это где-нибудь как например. gedit_profile и сделайте его исполняемым:
chmod +x gedit_profile
Чтобы загрузить разные профили, просто вызовите его с разделенным запятыми списком плагинов, которые вы хотите включить, например:
/path/to/gedit_profile "terminal,colorpicker"
[Конечно, тогда вы можете поместить это в отдельные пусковые установки.]
External Tools
может подойти просто добавление пары пунктов меню (с дополнительными клавишами быстрого доступа) (External Tools - стандартный плагин). .. Меня это заинтересовало, потому что мне нравится идея двух экземпляров gedit с разными настройками цвета, но я не думаю, что gedit допускает одновременные экземпляры :(