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 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.
