Para tornar extensões disponíveis para todos os usuários no sistema, instale-as no diretório /usr/share/gnome-shell/extensions. Note que extensões recentemente instaladas para todo o sistema estão desabilitadas por padrão.
Você precisa definir a chave org.gnome.shell.enabled-extensions para definir as extensões habilitadas por padrão. No entanto, atualmente não há como habilitar extensões adicionais para usuários que já iniciaram a sessão. Isso não se aplica a usuários existentes que instalaram e habilitaram suas próprias extensões do GNOME.
Crie um perfil user em /etc/dconf/profile/user:
user-db:user system-db:local
Crie um banco de dados local para configuração de toda máquina em /etc/dconf/db/local.d/00-extensions:
[org/gnome/shell] # Lista todas as extensões que você deseja ter habilitadas para todos usuários enabled-extensions=['minhaextensao1@meunome.exemplo.com', 'minhaextensao2@meunome.exemplo.com']
A chave enabled-extensions especifica as extensões habilitadas usando o uuid as extensões (minhaextensao1@meunome.exemplo.com e minhaextensao2@meunome.exemplo.com).
Atualize os bancos de dados de sistema:
#dconf update
Tem algum comentário? Esbarrou em um erro? Achou as instruções não muito claras? Envie um feedback sobre essa página.