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.






2
Como posso atualizar as extensões do Shell do GNOME na linha de comando?
Ocasionalmente, recebo mensagens informando que há uma atualização para uma das minhas extensões de shell do GNOME, direcionando-me para https://extensions.gnome.org/local/, onde posso acionar uma atualização através da interface da web. Prefiro invocar atualizações na linha de comando, semelhante à chamada apt update && apt upgrade. Como posso fazer isso?


18
Lista de complementos / extensões para gnome-shell
Agora, esta lista é mais ou menos substituída por https://extensions.gnome.org/, onde as extensões podem ser instaladas e configuradas com um clique. Existem vários complementos para o gnome-shell. Por favor, ajude-me a compilar uma lista de add-ons existentes Respondi minha pergunta adicionando as extensões que conheço como respostas. Como existem muitas …








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.