Perguntas com a marcação «gnome-shell-extension»

Eu gosto de executar alguns scripts para instalar pacotes automaticamente e fazer algumas configurações em novas instalações do sistema operacional. Eu uso o shell gnome com algumas extensões e estava pensando em melhorar meus scripts para configurá-los. Geralmente configuro as extensões usando gnome-shell-extension-prefs ou dconf-editor e sei como editar outros …

9 gsettings  gnome-shell-extension  gnome-shell 

Encontrei uma extensão do GNOME através de uma pesquisa no Google (usando o Chromium) e fiquei muito surpreso ao poder simplesmente alternar o botão On / Off para que o site instalasse uma extensão completa do GNOME no meu computador sem nenhuma outra etapa manual envolvida. (testado, isso também funciona …

9 gnome  security  gnome-shell  gnome-shell-extension  extension 

Eu tenho um pequeno problema com as extensões do shell gnome. Depois de instalar alguns deles, entendi que não gostava deles e decidi removê-los. As extensões em si (suas pastas /home/username/.local/share/gnome-shell/extensions) foram excluídas com sucesso. No entanto, as extensões excluídas não foram removidas da lista de extensões instaladas em extensions.gnome.org …

8 gnome  gnome-shell-extension 

Executando o Ubuntu 12.04 com o Gnome Shell 3.4 . Depois de ativar a extensão do painel inferior (para remover a bandeja de mensagens / painel inferior / canto quente na parte inferior; você sabe do que estou falando (:), ainda aparece uma mensagem "meia" depois de adicionar a unidade …

8 gnome  gnome-shell  panel  gnome-shell-extension  messaging-tray 

Estou com problemas para fazer o gnome-shell funcionar desde que instalei uma extensão (não sei qual) na 11.10. Então, o que eu gostaria de saber é: Como posso desinstalar completamente TUDO relacionado ao gnome-shell (todas as extensões, ferramenta gnome-tweak, etc.), tudo - para que eu possa começar de novo e …

8 gnome  11.10  gnome-shell  gnome-shell-extension