Para instalar uma extensão, você deve ter a gnome-tweak-toolinstalação instalada, por padrão, ela deve ser instalada por padrão nas versões mais modernas do Ubuntu GNOME; no entanto, se não estiver, você pode instalá-lo executando o seguinte:
sudo apt-get install gnome-tweak-tool
Com gnome-tweak-toolalgumas extensões pré-instaladas, mas não pré-ativadas, você pode visualizá-las abrindo o gnome-tweak-tool(você pode executá-lo no Terminal ( CTRL+ ALT+ T) ou pesquisar Tweak Toolna Visão geral das atividades) e indo para a Extensionsseção.
Preparativos do navegador (instalação e atualização)
Raposa de fogo
Versão 52+
Desde a versão 52 do Firefox, o suporte ao plug-in NPAPI foi removido, portanto, plug-ins como o GNOME Shell Integrationplug - in, o Java etc. não funcionam. Portanto, se você deseja instalar uma nova extensão que ainda não está instalada, precisará de uma solução em duas partes:
Depois de instalar os dois, será necessário reiniciar o navegador para que as alterações entrem em vigor. Então você poderá navegar e instalar extensões do GNOME a partir daqui .
Abaixo da versão 52
Se você deseja instalar uma nova extensão que ainda não esteja pré-instalada, vá aqui no Firefox e verifique se o GNOME Shell Integrationplug-in está ativado. Então, vá aqui about:addons(insira isso na barra de URL e pressione ENTER), vá para a Pluginsseção e verifique se o GNOME Shell Integrationplug-in está definido como Always Activate, ou faça o mesmo, mas defina-o como Ask to Activatee quando visitar o site de extensões do GNOME, verifique você clica Allow Nowtodas as vezes ou pressiona Allow and Remember(você precisará clicar no pequeno bloco de lego para obter esse diálogo - o bloco mostrado na captura de tela abaixo):
A ativação desse plug-in permite que o site detecte sua versão do GNOME, além de instalar e gerenciar suas extensões. O plug-in deve ser instalado por padrão no Firefox 52 e abaixo no Ubuntu GNOME.
Cromo e cromo
(e alguns outros navegadores baseados em Chromium, incluindo Vivaldi)
Como o suporte ao plug-in NPAPI não está disponível nesses navegadores, você precisará de uma solução em duas partes:
Depois de instalar os dois, será necessário reiniciar o navegador para que as alterações entrem em vigor. Então você poderá navegar e instalar extensões do GNOME a partir daqui .
O navegador nativo "Web" do GNOME Epiphany ainda suporta plug-ins NPAPI e possui o plug-in de extensões GNOME necessário pré-instalado e, portanto, não é necessário fazer nenhuma configuração com ele.
Se ainda não estiver instalado, pode ser instalado com:
sudo apt-get install epiphany-browser
Instalando uma nova extensão
As extensões mais populares serão exibidos na página inicial que você chegar, você pode, contudo, escolher para classificar o conteúdo da página e os resultados de pesquisa usando os Name, Recente Downloadsfiltros. Você também pode optar por exibir os resultados, ao All versionscontrário do Current versionque está executando (tentar instalar extensões incompatíveis com a sua versão do GNOME resultará em uma falha silenciosa - a operação não será bem-sucedida, mas você não será notificado sobre isso em de qualquer forma - embora as extensões que não são compatíveis sejam levemente acinzentadas na lista de resultados, você ainda poderá saber mesmo com o All versionsfiltro selecionado).
Os diferentes filtros que mencionei acima são acessíveis através dos menus suspensos relevantes (coloquei uma caixa vermelha nas configurações em questão):
Você também pode usar a caixa de pesquisa para encontrar extensões, depois de encontrar uma extensão que deseja instalar (se estiver preocupado com a segurança das extensões, leia estas informações no processo de revisão - vá para a Are GNOME Shell extensions safe?seção - extensões têm antes de serem aceitos no site), clique no nome dele nos resultados da pesquisa e, quando estiver na página, clique no ON/OFFcontrole deslizante ao lado do nome (como feito acima gnome-tweak-tool), você verá uma caixa de diálogo solicitando se você deseja instalar a referida extensão, pressione Install, se mudou de idéia, pressione Cancel.
Se você não receber essa caixa de diálogo, apenas encontrou uma das extensões pré-instaladas e a ativou!
Depois de fazer alterações nas extensões instaladas / ativadas no site, você precisará reiniciar o gnome-tweak-toolpara poder registrar as alterações.
Gerenciando extensões
Para ativar uma extensão, clique no ON/OFFcontrole deslizante ao lado de seu nome e descrição para que seu status mude de OFFpara ON(e vice-versa para desativá-lo).
Você verá que as extensões pré-instaladas têm um Removebotão acinzentado ao lado de cada uma delas; isso fica acinzentado porque estão pré-instaladas; se você instalar uma nova, porém, poderá usar esse botão para removê-lo permanentemente. .
Você também verá que algumas das extensões têm um botão ao lado do Removebotão que se parece com isso:
Clicar neste botão permitirá alterar a configuração da extensão em questão (deve abrir uma janela de configurações).
A visualização on-line permite que você também faça similar (embora também permita remover / desinstalar extensões pré-instaladas, tenha cuidado - embora, é claro, você possa reinstalá-las novamente).
Atualizando extensões
O gnome-tweak-toolnão suporta a atualização de extensões por meio de sua interface (embora no futuro seja planejado que toda a interface da Web seja descartada e que tudo seja feito gnome-software), se uma nova versão de uma extensão for lançada e você desejar atualizar para isso, clique aqui e clique no botão de atualização ao lado do ON/OFFcontrole deslizante (se não houver botão de atualização, a extensão já estará atualizada):
Você será perguntado se deseja a Upgradeextensão mencionada, pressionando Upgradea atualizará; no entanto, pressionar o Cancelbotão irá desativá-la ou possivelmente desinstalá-la para que você precise reinstalá-la ou reativá-la novamente.
Dicas e truques:
Clicar com o Activities Overviewbotão direito do mouse no botão (ou Activitiescomo normalmente é chamado no botão) abrirá uma janela dedicada especificamente às suas extensões do GNOME Shell:
Esse processo deve funcionar para todos aqueles que usam o GNOME 3.4+.
chrome-gnome-shellestá disponível no repositório oficial do 16.04
Anwar
@ Anwar: Não estava presente na última vez que verifiquei, embora possa ter parecido um pouco no lugar errado ... Ou pelo menos não era óbvio no LaunchPad. Mas agora atualizei minha resposta.
Está no repositório xenial-updates. Então, provavelmente ele foi transferido para o repositório mais tarde.
Anwar
@ Anwar: A xenial-updatesseção faz parte do repositório principal, é apenas uma categoria em oposição a xenial-security.
Sim, eu sabia disso. Diferentemente do xenial-main, o xenial-updates não fica congelado após o lançamento e pode ter sido usado para enviar novos pacotes. Isso é o que eu quis dizer
Anwar
27
As extensões do Gnome-shell podem ser instaladas na página da Web de extensões do Gnome-shell. O site é: https://extensions.gnome.org/
Para instalar uma extensão, clique na extensão e você acessará uma página que descreve a extensão.
Nessa página, você pode ver um botão deslizante. Ative o controle deslizante se desejar instalar a extensão. Você verá uma solicitação para instalar a extensão.
Quando estiver na guia Extensões instaladas , você poderá atualizar qualquer extensão, desativar e trazer configurações diretamente do navegador.
Atualizando:
Você pode encontrar o botão de atualização ao lado do nome da extensão quando houver uma atualização disponível.
Clique nesse botão para atualizar. Você receberá um prompt semelhante ao que recebeu ao instalar a extensão solicitando permissão para instalar a extensão. clique no botão Instalar (Sim, não é Atualização) para instalar a extensão atualizada.
Usando configurações de extensão
Embora você possa usar o gnome-tweak-tool, você também pode abrir a janela de configurações de extensão do site, se a extensão fornecer uma. Basta clicar no ícone da pequena chave inglesa. Uma janela de configurações deve aparecer como mostrado na captura de tela a seguir.
Excluindo uma extensão
Você também pode excluir uma extensão do site, desde que ela não venha com o gnome-shell por padrão (o que as instala na área do sistema).
Clicar na marca de cruz vermelha deve desinstalar a extensão.
Apenas uma vez, verifique se você está usando o Firefox e não o cromo, uma instância do gnome em execução não foi descoberta no cromo. Eu estou usando Ubuntu 14.04 64 bits Gnome
ArunMKumar
1
pode confirmar que isso não funciona no ubuntu 15.10. Um novo perfil do firefox terá a extensão de modificações do ubuntu, a detecção do itunes e o plug-in de codec h264. Nada mais.
Gcb
1
Alguém pode explicar por que uma extensão do navegador é necessária para instalar as extensões do Gnome? Parece desajeitado em oposição a algo embutido no Gnome, mas talvez eu estou faltando alguma coisa
baiacu
15
Ubuntu 18.04 e posterior
No Ubuntu 18.04 e versões posteriores, as GNOME Shell Extensions podem ser instaladas a partir do aplicativo Ubuntu Software. Faça uma pesquisa por palavra-chave para "extensões de shell do GNOME" e o tipo de aplicativo que você está procurando.
Você também pode pesquisar todas as extensões de shell do GNOME disponíveis na mesma tela, pressionando o botão Complementos, localizado no cabeçalho Categorias . Na tela Complementos, selecione a guia Extensões de Shell e você verá todas as Extensões de Shell GNOME disponíveis.
Clicar em uma Extensão de Shell GNOME na lista de resultados da pesquisa exibirá sua tela, que geralmente mostra capturas de tela.
Ao clicar no Website botão, o site será aberto em um navegador da Web, onde você poderá visualizar uma imagem em tamanho maior da mesma captura de tela que foi mostrada no Ubuntu Software.
O site do GNOME possui uma seção de Extensões configurada, que está atualmente em sua fase Beta. Ele promete fácil instalação de extensões e gerenciamento de extensões instaladas, através de uma interface web.
Na verdade, estou em uma nova instalação do Ubuntu GNOME 14.04 e a instalação com um clique de extensions.gnome.org não funciona (nenhum proxy, complemento e firefox são fornecidos com distribuição, talvez seja um problema de permissão em algum lugar na ~/.localraiz )
Cprn 11/05/19
5
Vá para a página de extensões do gnome-shell usando um navegador compatível (que não é totalmente seguro para qualquer coisa em execução ou proveniente da Web).
Como o navegador gnome padrão ou uma instalação limpa do Firefox, também deve funcionar. Às vezes, tive problemas ao instalar extensões usando o Google Chrome ou o Midori.
Filtrar por "Compatível com: versão atual"
Clique no botão de alternância da extensão que você deseja
Uma pergunta "instalar esta extensão" deve aparecer. Confirme.
Em casos raros, você precisa recarregar o gnome-shell para fazer com que uma nova extensão funcione sem problemas (RARO!) - abra o diálogo de execução do gnome-shell ( Alt+ F2) - se não estiver configurado, verifique se Alt + F2 não exibe o prompt de comando Executar no GNOME Shell ), digite re pressione Enter.
Sim, o recurso de instalação da extensão foi removido do GNOME Tweaks (desde a v3.26, a do Ubuntu 17.10, se bem me lembro).
Para instalar extensões manualmente, basta extrair o arquivo obtido do site oficial e copiar / mover a pasta de extensão (geralmente do formulário extension-name@developer-info) para o seu ~/.local/share/gnome-shell/extensions/diretório. Em seguida, efetue login novamente (ou reinicie o shell do GNOME). A extensão deve aparecer nos (GNOME) Tweaks agora. Ative a partir daí.
Eu tenho enlouquecido tentando fazer isso funcionar em uma instalação limpa do ubuntu gnome 14.04. Eu encontrei a solução.
Abra o Firefix.
Vá para addons ( about:addons).
Sob os plugins, você verá a integração com o Gnome Shell.
Selecione isso e altere as opções de ativação para SEMPRE ATIVAR.
Então fechei o firefox e reabri. Quando voltei para http://addons.mozilla.org . Consegui instalar as extensões (o controle deslizante permaneceu na posição ligado. A extensão apareceu na ferramenta de ajustes depois disso. Espero que isso ajude. Li muitas respostas e tentei muitas coisas. Estou feliz por saber que Eu descobri e posso compartilhá-lo com todos. Aqui está uma lista rápida de versões para que você possa verificar as suas.
Instalação limpa do Ubuntu Gnome 14.04 Firefox 34. Versão que foi instalada durante a instalação.
Olá, adicionei um pouco de monoespaçamento em sua resposta usando reticulares ao redor do material em linha e quatro espaços antes da citação em bloco. Não sei ao certo o que a palavra "ativo" significa nesse contexto; portanto, não sei dizer se ela deve fazer parte do comando ou não.
Jeremy
1
Não vejo como isso ajudaria a " instalar " uma nova extensão! Você só pode ativar / desativar ou gerenciar extensões já instaladas usando gnome-shell-extension-prefs.
Respostas:
Para instalar uma extensão, você deve ter a
gnome-tweak-tool
instalação instalada, por padrão, ela deve ser instalada por padrão nas versões mais modernas do Ubuntu GNOME; no entanto, se não estiver, você pode instalá-lo executando o seguinte:Com
gnome-tweak-tool
algumas extensões pré-instaladas, mas não pré-ativadas, você pode visualizá-las abrindo ognome-tweak-tool
(você pode executá-lo no Terminal ( CTRL+ ALT+ T) ou pesquisarTweak Tool
na Visão geral das atividades) e indo para aExtensions
seção.Preparativos do navegador (instalação e atualização)
Raposa de fogo
Versão 52+
Desde a versão 52 do Firefox, o suporte ao plug-in NPAPI foi removido, portanto, plug-ins como o
GNOME Shell Integration
plug - in, o Java etc. não funcionam. Portanto, se você deseja instalar uma nova extensão que ainda não está instalada, precisará de uma solução em duas partes:Aplicativo de mensagens do host nativo:
O plugin do GNOME Shell Integration Firefox .
Depois de instalar os dois, será necessário reiniciar o navegador para que as alterações entrem em vigor. Então você poderá navegar e instalar extensões do GNOME a partir daqui .
Abaixo da versão 52
Se você deseja instalar uma nova extensão que ainda não esteja pré-instalada, vá aqui no Firefox e verifique se o
GNOME Shell Integration
plug-in está ativado. Então, vá aquiabout:addons
(insira isso na barra de URL e pressione ENTER), vá para aPlugins
seção e verifique se oGNOME Shell Integration
plug-in está definido comoAlways Activate
, ou faça o mesmo, mas defina-o comoAsk to Activate
e quando visitar o site de extensões do GNOME, verifique você clicaAllow Now
todas as vezes ou pressionaAllow and Remember
(você precisará clicar no pequeno bloco de lego para obter esse diálogo - o bloco mostrado na captura de tela abaixo):A ativação desse plug-in permite que o site detecte sua versão do GNOME, além de instalar e gerenciar suas extensões. O plug-in deve ser instalado por padrão no Firefox 52 e abaixo no Ubuntu GNOME.
Cromo e cromo
(e alguns outros navegadores baseados em Chromium, incluindo Vivaldi)
Como o suporte ao plug-in NPAPI não está disponível nesses navegadores, você precisará de uma solução em duas partes:
Aplicativo de mensagens do host nativo:
O plug-in do Chrome Integration para GNOME Shell .
Depois de instalar os dois, será necessário reiniciar o navegador para que as alterações entrem em vigor. Então você poderá navegar e instalar extensões do GNOME a partir daqui .
Fonte parcial: Como instalar extensões GNOME usando o Google Chrome ou Vivaldi
Epifania (Web do GNOME)
O navegador nativo "Web" do GNOME Epiphany ainda suporta plug-ins NPAPI e possui o plug-in de extensões GNOME necessário pré-instalado e, portanto, não é necessário fazer nenhuma configuração com ele.
Se ainda não estiver instalado, pode ser instalado com:
Instalando uma nova extensão
As extensões mais populares serão exibidos na página inicial que você chegar, você pode, contudo, escolher para classificar o conteúdo da página e os resultados de pesquisa usando os
Name
,Recent
eDownloads
filtros. Você também pode optar por exibir os resultados, aoAll versions
contrário doCurrent version
que está executando (tentar instalar extensões incompatíveis com a sua versão do GNOME resultará em uma falha silenciosa - a operação não será bem-sucedida, mas você não será notificado sobre isso em de qualquer forma - embora as extensões que não são compatíveis sejam levemente acinzentadas na lista de resultados, você ainda poderá saber mesmo com oAll versions
filtro selecionado).Os diferentes filtros que mencionei acima são acessíveis através dos menus suspensos relevantes (coloquei uma caixa vermelha nas configurações em questão):
Você também pode usar a caixa de pesquisa para encontrar extensões, depois de encontrar uma extensão que deseja instalar (se estiver preocupado com a segurança das extensões, leia estas informações no processo de revisão - vá para a
Are GNOME Shell extensions safe?
seção - extensões têm antes de serem aceitos no site), clique no nome dele nos resultados da pesquisa e, quando estiver na página, clique noON/OFF
controle deslizante ao lado do nome (como feito acimagnome-tweak-tool
), você verá uma caixa de diálogo solicitando se você deseja instalar a referida extensão, pressioneInstall
, se mudou de idéia, pressioneCancel
.Se você não receber essa caixa de diálogo, apenas encontrou uma das extensões pré-instaladas e a ativou!
Depois de fazer alterações nas extensões instaladas / ativadas no site, você precisará reiniciar o
gnome-tweak-tool
para poder registrar as alterações.Gerenciando extensões
Para ativar uma extensão, clique no
ON/OFF
controle deslizante ao lado de seu nome e descrição para que seu status mude deOFF
paraON
(e vice-versa para desativá-lo).Você verá que as extensões pré-instaladas têm um
Remove
botão acinzentado ao lado de cada uma delas; isso fica acinzentado porque estão pré-instaladas; se você instalar uma nova, porém, poderá usar esse botão para removê-lo permanentemente. .Você também verá que algumas das extensões têm um botão ao lado do
Remove
botão que se parece com isso:Clicar neste botão permitirá alterar a configuração da extensão em questão (deve abrir uma janela de configurações).
A visualização on-line permite que você também faça similar (embora também permita remover / desinstalar extensões pré-instaladas, tenha cuidado - embora, é claro, você possa reinstalá-las novamente).
Atualizando extensões
O
gnome-tweak-tool
não suporta a atualização de extensões por meio de sua interface (embora no futuro seja planejado que toda a interface da Web seja descartada e que tudo seja feitognome-software
), se uma nova versão de uma extensão for lançada e você desejar atualizar para isso, clique aqui e clique no botão de atualização ao lado doON/OFF
controle deslizante (se não houver botão de atualização, a extensão já estará atualizada):Você será perguntado se deseja a
Upgrade
extensão mencionada, pressionandoUpgrade
a atualizará; no entanto, pressionar oCancel
botão irá desativá-la ou possivelmente desinstalá-la para que você precise reinstalá-la ou reativá-la novamente.Dicas e truques:
Clicar com o
Activities Overview
botão direito do mouse no botão (ouActivities
como normalmente é chamado no botão) abrirá uma janela dedicada especificamente às suas extensões do GNOME Shell:Esse processo deve funcionar para todos aqueles que usam o GNOME 3.4+.
fonte
chrome-gnome-shell
está disponível no repositório oficial do 16.04xenial-updates
seção faz parte do repositório principal, é apenas uma categoria em oposição axenial-security
.As extensões do Gnome-shell podem ser instaladas na página da Web de extensões do Gnome-shell. O site é: https://extensions.gnome.org/
Para instalar uma extensão, clique na extensão e você acessará uma página que descreve a extensão.
Nessa página, você pode ver um botão deslizante. Ative o controle deslizante se desejar instalar a extensão. Você verá uma solicitação para instalar a extensão.
As extensões instaladas podem ser gerenciadas em https://extensions.gnome.org/local/
Quando estiver na guia Extensões instaladas , você poderá atualizar qualquer extensão, desativar e trazer configurações diretamente do navegador.
Atualizando:
Você pode encontrar o botão de atualização ao lado do nome da extensão quando houver uma atualização disponível.
Clique nesse botão para atualizar. Você receberá um prompt semelhante ao que recebeu ao instalar a extensão solicitando permissão para instalar a extensão. clique no botão Instalar (Sim, não é Atualização) para instalar a extensão atualizada.
Usando configurações de extensão
Embora você possa usar o gnome-tweak-tool, você também pode abrir a janela de configurações de extensão do site, se a extensão fornecer uma. Basta clicar no ícone da pequena chave inglesa. Uma janela de configurações deve aparecer como mostrado na captura de tela a seguir.
Excluindo uma extensão
Você também pode excluir uma extensão do site, desde que ela não venha com o gnome-shell por padrão (o que as instala na área do sistema).
Clicar na marca de cruz vermelha deve desinstalar a extensão.
fonte
Ubuntu 18.04 e posterior
No Ubuntu 18.04 e versões posteriores, as GNOME Shell Extensions podem ser instaladas a partir do aplicativo Ubuntu Software. Faça uma pesquisa por palavra-chave para "extensões de shell do GNOME" e o tipo de aplicativo que você está procurando.
Você também pode pesquisar todas as extensões de shell do GNOME disponíveis na mesma tela, pressionando o botão Complementos, localizado no cabeçalho Categorias . Na tela Complementos, selecione a guia Extensões de Shell e você verá todas as Extensões de Shell GNOME disponíveis.
Clicar em uma Extensão de Shell GNOME na lista de resultados da pesquisa exibirá sua tela, que geralmente mostra capturas de tela.
Ao clicar no Website botão, o site será aberto em um navegador da Web, onde você poderá visualizar uma imagem em tamanho maior da mesma captura de tela que foi mostrada no Ubuntu Software.
Clicar no Install botão instalará a extensão.
fonte
O site do GNOME possui uma seção de Extensões configurada, que está atualmente em sua fase Beta. Ele promete fácil instalação de extensões e gerenciamento de extensões instaladas, através de uma interface web.
O site pode ser acessado aqui: https://extensions.gnome.org/
fonte
Gnome
complemento instalado para poder ver esse botão.~/.local
raiz )Vá para a página de extensões do gnome-shell usando um navegador compatível (que não é totalmente seguro para qualquer coisa em execução ou proveniente da Web).
Como o navegador gnome padrão ou uma instalação limpa do Firefox, também deve funcionar. Às vezes, tive problemas ao instalar extensões usando o Google Chrome ou o Midori.
Filtrar por "Compatível com: versão atual"
Clique no botão de alternância da extensão que você deseja
Uma pergunta "instalar esta extensão" deve aparecer. Confirme.
Em casos raros, você precisa recarregar o gnome-shell para fazer com que uma nova extensão funcione sem problemas (RARO!) - abra o diálogo de execução do gnome-shell ( Alt+ F2) - se não estiver configurado, verifique se Alt + F2 não exibe o prompt de comando Executar no GNOME Shell ), digite
r
e pressione Enter.fonte
(Esta resposta foi originalmente publicada em uma pergunta intitulada Não é possível instalar extensões de shell do GNOME usando o GNOME Tweaks no Ubuntu 18.04 )
Sim, o recurso de instalação da extensão foi removido do GNOME Tweaks (desde a v3.26, a do Ubuntu 17.10, se bem me lembro).
Para instalar extensões manualmente, basta extrair o arquivo obtido do site oficial e copiar / mover a pasta de extensão (geralmente do formulário
extension-name@developer-info
) para o seu~/.local/share/gnome-shell/extensions/
diretório. Em seguida, efetue login novamente (ou reinicie o shell do GNOME). A extensão deve aparecer nos (GNOME) Tweaks agora. Ative a partir daí.fonte
Eu tenho enlouquecido tentando fazer isso funcionar em uma instalação limpa do ubuntu gnome 14.04. Eu encontrei a solução.
about:addons
).Então fechei o firefox e reabri. Quando voltei para http://addons.mozilla.org . Consegui instalar as extensões (o controle deslizante permaneceu na posição ligado. A extensão apareceu na ferramenta de ajustes depois disso. Espero que isso ajude. Li muitas respostas e tentei muitas coisas. Estou feliz por saber que Eu descobri e posso compartilhá-lo com todos. Aqui está uma lista rápida de versões para que você possa verificar as suas.
Instalação limpa do Ubuntu Gnome 14.04 Firefox 34. Versão que foi instalada durante a instalação.
fonte
Você pode executar diretamente o aplicativo de seleção de extensão com o seguinte comando:
ative a extensão e pressione Alt+ F2, na linha de comando, digite
r
e pressione Enter.Este método pode apresentar problemas:
Quando você reinicia o shell do GNOME ( Alt+ F2,
r
) as extensões podem parar de funcionar. (Exemplo: Dash-to-Panel).Se você usar o comando
gnome-shell-extension-prefs
, no aplicativo que abrir, as extensões poderão aparecer como não ativadas.fonte
gnome-shell-extension-prefs
.