Como as extensões de shell do Gnome devem ser gerenciadas?

16

Estou tendo problemas para entender a maneira pretendida de gerenciar extensões de shell do Gnome.

Não consigo encontrar nenhum programa apropriado no Dash para fazer isso. A única maneira de gerenciar extensões é através de extensions.gnome.org .

É impossível que esta página seja a ferramenta para gerenciar extensões - não faz absolutamente nenhum sentido (quebra o UX, por exemplo).

Por favor, diga-me que existe um plano para um aplicativo nativo destinado a gerenciar essas extensões úteis.

gnome gnome3 gnome-shell jcora
fonte
3
O que "quebra" a experiência do usuário ou não é altamente subjetivo.
Bem, sim, mas tenho certeza de que a opinião de que não quebra o UX é a opinião minoritária. * Esperado: abra o aplicativo nativo, selecione a extensão, instale. Concluído * Atualmente: abra o navegador, instale a extensão do navegador, navegue até a página da Web, instale a extensão real. Feito.
Jan M.
2
Quando mudei meus sistemas Microsoft Windows XPpara o baseado no debian, GNU/Linux Distributionsuma das partes mais esclarecedoras user experienceera que eu não precisava ir para páginas da web, procurar aplicativos, fazer o download e instalá-los, mas poderia pesquisar na lista de pacotes apt-gete instalar os pacotes. Também não precisei tomar muito cuidado com atualizações de aplicativos individuais, pois isso foi feito com dois apt commands. Pela minha highly subjectiveexperiência do usuário, devo dizer que é meio brokenque necessário gerenciar as extensões dessa maneira.
Nath

Respostas:

10

É impossível que esta página seja a ferramenta para gerenciar extensões - não faz absolutamente nenhum sentido

Se faz sentido ou não, também é uma questão de opinião. Mas sim, essa página é a principal ferramenta, leia a explicação de Owen Taylor .
Quanto ao gerenciamento das extensões já instaladas no seu sistema, você pode habilitá-las / desabilitá-las através do gnome-tweak-tool (ou dconf-editor- GUI ou gsettings- CLI).

edit:
Em resposta ao seu comentário:

Eu estava falando sobre manter o UX consistente. Quando digito "exten" na barra de pesquisa, devo chegar a algum ponto de controle de extensão.

Qual versão do gnome-shell você está usando? Nesse gnome-3.8.2é o comportamento padrão, digitar extenna barra de pesquisa, gnome-tweak-toolou seja, o "centro de controle local" para extensões, veja você mesmo:

insira a descrição da imagem aqui

don_crissti
fonte