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

Question

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

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

É impossível que esta página seja a ferramenta para gerenciar ramais - faz sentido absolutamente nulo (quebra UX, por exemplo).

Por favor, diga-me que existe um plano para uma aplicação nativa destinada a gerenciar essas extensões úteis.

    

Answer 1

It's impossible that this page is supposed to be the tool for managing extensions - it makes absolutely zero sense

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 em seu sistema, você pode ativá-las / desativá-las por meio de gnome-tweak-tool (ou dconf-editor - GUI, ou gsettings - CLI).

edit:
Em resposta ao seu comentário:

I was talking about keeping the UX consistent. When I type "exten" into the search bar, I should be able to get to some extension control point.

Qual versão do gnome-shell você está usando? No gnome-3.8.2 que é o comportamento padrão, digitar exten na barra de pesquisa exibe gnome-tweak-tool , ou seja, o "centro de controle local" para extensões, veja você mesmo: