Este guia ajudou-me.
Para tornar as extensões disponíveis para todos os usuários no sistema, instale-as no diretório /usr/share/gnome-shell/extensions
.
Observe que as extensões de toda a máquina recém-instaladas estão desativadas por padrão.
Para ativar as extensões para todos os usuários, você precisa definir a chave org.gnome.shell.enabled-extensions
. Para configurá-lo, crie um perfil de usuário em /etc/dconf/profile/user
:
user-db:user
system-db:local
Create a local database for machine-wide settings in /etc/dconf/db/local.d/00-extensions:
[org/gnome/shell]
# List all extensions that you want to have enabled for all users
enabled-extensions=['[email protected]', '[email protected]']
A chave de extensões ativadas especifica as extensões ativadas usando o uuid da extensão ([email protected] e [email protected]).
Para concluí-lo, atualize os bancos de dados do sistema com:
dconf update