Come posso eseguire gedit con una configurazione diversa

Voglio usare gedit come IDE di programmazione e come normale editor di testo. Sarei in grado di creare alcuni file .desktop per caricare una configurazione diversa?

— MetaDark
fonte

Non sembra essere supportato in questo momento, vedere questo report di bug a monte .

Tuttavia, è possibile creare un wrapper per gedit, che imposta i plug-in specifici desiderati tramite gconftool-2.

Questo sarebbe simile a:

#!/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"

Ora salvalo da qualche parte come ad es. gedit_profile e renderlo eseguibile:

chmod +x  gedit_profile

Per caricare diversi profili, chiamalo semplicemente con un elenco separato da virgole di plugin che vuoi abilitare, ad esempio:

/path/to/gedit_profile "terminal,colorpicker"

[Ovviamente puoi metterlo in lanciatori separati.]

— htorque
fonte

Funziona meglio per le mie esigenze: #! / 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 il

Sì, questa è la versione avanzata (da qui la parte "qualcosa come" nella mia risposta: P).

— htorque,

L'impostazione dei valori tramite gconf funziona anche per altre opzioni (ad es. Combinazione di colori) ... Poiché le nuove impostazioni sono immediatamente efficaci, è sufficiente aggiungere un paio di External Toolsvoci di menu (con tasti di scelta rapida opzionali) (Strumenti esterni è un plug-in standard). .. Ero interessato a questo perché mi piace l'idea di due istanze di gedit con impostazioni di colore diverse, ma non credo che gedit consenta istanze simultanee :(

— Peter.O