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

As extensões do GNOME Shell são pequenos trechos que expandem a funcionalidade e os recursos do GNOME Shell. Esses trechos são escritos em JavaScript e CSS.

3
Configurar extensões gnome-shell na linha de comando
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 …


2
As extensões do Gnome permanecem na lista após serem removidas
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 …


Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.