Eu sempre configuro as extensões do gnome-shell instaladas no dconf-editor, mas depois de instalar as extensões do site oficial eu não consegui configurar as extensões instaladas do site oficial (eu não as encontrei no editor-dconf sob org > > gnome > > shell > > extensões).
então como configurar extensões instaladas do site oficial ???
por enquanto você não pode fazer isso.
as extensões do site oficial que ainda estão em alpha, não podem ser modificadas usando o dconf. (pelo menos alguns deles).
mas você ainda pode modificá-los, indo até os arquivos extension.js e .css em /home/username/.local/share/gnome-shell/extensions.
No Gnome 3 você pode configurar a extensão usando este link: link
Você pode ativá-los e desativá-los e também fazer algumas configurações avançadas em algumas extensões.
Melhor Juergen
Eu uso o gnome-tweak-tool para isso.
Você pode obtê-lo aqui: