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.
Microsoft Windows XP
para o baseado no debian, GNU/Linux Distributions
uma das partes mais esclarecedoras user experience
era 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-get
e 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 subjective
experiência do usuário, devo dizer que é meio broken
que necessário gerenciar as extensões dessa maneira.