Aqui está uma solução alternativa no espírito desta resposta . Isso funciona pelo menos para 3.12. A idéia é exportar uma lista das extensões que você deseja ativar e depois escrever um script que as ative na inicialização.
Obtendo a lista de extensões
Primeiro, ative as extensões que você deseja ativar. Em seguida, geramos uma lista com os seguintes:
No terminal ( Ctrl + Alt + T
), execute
gsettings get org.gnome.shell enabled-extensions
Ele retorna uma lista com as extensões ativas no momento
['Bottom_Panel@rmy.pobox.com', 'impatience@gfxmonk.net']
Definir extensões
Para ativar exatamente as extensões na lista, execute
gsettings set org.gnome.shell enabled-extensions ['extension_1', 'extension_2', 'extension_3']
mas com sua própria lista, naturalmente :)
Script para definir extensões na inicialização
Para automatizar na inicialização, crie um script executando esse comando.
Vá para, por exemplo, sua pasta pessoal e crie um novo arquivo vazio. Nomeie-o script_name.sh
(apenas a extensão é importante). Inicie o nome do arquivo com um ponto final, .
se desejar que ele fique oculto.
Nesse arquivo, escreva
#!/bin/bash
gsettings set org.gnome.shell enabled-extensions ['extension_1', 'extension_2', 'extension_3']
Em seguida, salve o arquivo, é claro :)
Torne o arquivo executável, por exemplo, por right click > Properties > Permissions > Check "Allow executing file as program"
Alternativamente, altere as permissões do terminal executando chmod ugo+x script_name.sh
na pasta do script.
Torná-lo sobre o sistema de arranque (Eu não sei de que outra forma de fazer isso ): em ~/.config/autostart/
criar um arquivo chamado some_name2.desktop
e nele colocar
[Desktop Entry]
Name=your_prefered_name_here
Exec=/home/your_user_name/.script_name.sh
# Terminal=false
Type=Application
Hidden=false
StartupNotify=false
Name[en_US]=your_prefered_name_here
O caminho a seguir Exec=
deve ser o local onde o script que você criou na etapa 2 está. Mais uma vez, salve o arquivo :)
Talvez imediatamente ou então após a inicialização, você veja o script na Ferramenta Gnome Tweak em Aplicativos de inicialização. Também deve ser executado na inicialização.
Ativando e desativando extensões
Se você deseja alterar quais extensões são executadas, gere novamente a lista e insira a nova lista na execução do script.
Palavras Finais
Espero que isso funcione na versão 3.14 também.