Mi piace eseguire un paio di script per installare automaticamente i pacchetti e fare alcune configurazioni su nuove installazioni del sistema operativo. Uso gnome shell con alcune estensioni e stavo pensando di migliorare i miei script per configurarli.
Di solito configuro le estensioni usando gnome-shell-extension-prefs o dconf-editor e so come modificare altri schemi dalla riga di comando. Esempio:
gsettings set org.gnome.desktop.background picture-options stretched
Ma, sebbene sia possibile trovare e modificare le estensioni installate in org.gnome.shell.extensions utilizzando dconf-editor, non riesco ad accedervi utilizzando gsettings poiché non sembrano avere uno schema assegnato:
No such schema 'org.gnome.shell.extensions.extname'
Le uniche estensioni accessibili con gsettings sembrano essere quelle preinstallate.
Quindi, la domanda è: come posso configurare le estensioni installate dalla riga di comando? Esiste un modo per assegnare a gsettings gli schemi compilati ~/.local/share/gnome-shell/extensions/
? Forse sto guardando nella direzione sbagliata.
Ambiente: Ubuntu Gnome 14.04 (Gnome Shell 3.10.4)
Grazie in anticipo.