Wie kann ich gedit mit einer anderen Konfiguration ausführen?

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.]

htorque
quelle

Dies funktioniert besser für meine Bedürfnisse: #! / 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

Ja, das ist die erweiterte Version (daher der Teil "so etwas wie" in meiner Antwort: P).

Htorque

Das Einstellen von Werten über gconf funktioniert auch für andere Optionen (z. B. Farbschema) ... Da die neuen Einstellungen sofort wirksam werden, kann es sinnvoll sein, nur ein paar External ToolsMenü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 :(

Peter.O

Wie kann ich gedit mit einer anderen Konfiguration ausführen?

Antworten: