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

Como instalo extensões de shell do GNOME? É possível atualizar, remover e gerenciar as

Na ferramenta Gnome Tweak, não consigo alterar o tema do Shell: Pairando sobre o ponto de exclamação mostra o seguinte ferramenta de ponta: Shell user-theme extension not enabled. Estou usando o Ubuntu 14.10 e instalei o

O shell GNOME possui o chamado "canto quente", que abre o painel se o mouse tocar no canto superior esquerdo da tela do monitor. Eu quero esse desabilitado. Eu costumava ter uma extensão de shell GNOME, mas o repositório não é mais encontrado: git clone

Como ocultar a barra superior no Gnome 3.28 Ubuntu 18.04? Como a extensão hide-top-bar pode ser

Estou executando o Ubuntu Gnome 13.10 com o Gnome 3.10. Meu problema é que toda vez que eu reinicio o sistema operacional, todas as extensões de shell são desativadas. O estranho é que suas configurações são mantidas. Eles estão desligados e eu tenho que reativá-los sempre. Como posso torná-los...

Descrição do Problema Eu realmente gosto dos espaços de trabalho 2 por 2 no Ubuntu 16.04. Mas parece que só posso mudar o espaço de trabalho para cima e para baixo. Existe uma maneira de conseguir isso? O que eu tentei Tentei a extensão do GNOME chamada Workspace Grid (sugerida aqui: Posso ter...

Digamos que eu instalei com êxito meu conjunto de extensões gnome-shell. Mas eu quero desativar / desativar a partir da linha de comando. Isso só é possível através da ação do mouse, AFAIK. Como eu posso fazer isso

Estou migrando do Unity para o GNOME. Um item que está faltando é o botão "Mostrar área de trabalho" (também conhecido como "minimizar todas as janelas") no painel. Como posso adicionar essa funcionalidade ao traço do GNOME (ou dock do Ubuntu no Ubuntu 17.10 e posterior), mesmo que isso signifique...

Estou executando o gnome-shell 3.4.1 no Ubuntu 12.04. Venho testando várias extensões do http://extensions.gnome.org e agora quero remover completamente algumas, especialmente para que elas não ocupem espaço na Gnome Tweak Tool. É seguro excluir a pasta de extensão abaixo

O grande cais à esquerda. Em outras versões, você pode escapar do Unity Launcher acessando o gnome, e agora? Os ajustes do Gnome não o mostram como uma extensão, embora pareça muito com o dash to dock. Vejo opções de ocultar automaticamente nas configurações, mas não há como removê-lo...

Sei como acessar o site https://extensions.gnome.org/ e baixar as extensões gnome-shell, mas agora preciso instalar algumas extensões disponíveis no computador sem acesso à Internet. Ele está em uma rede corporativa interna e não há como obter acesso externo à Internet, portanto, devo encontrar...

Eu estava querendo desenvolver algumas extensões do Gnome Shell, uma vez que elas são apenas em javascript, no entanto, eu tenho procurado e existe praticamente zero documentação, em todos os lugares em que olho, as pessoas dizem apenas para usar a documentação básica do Gnome, mas isso NÃO ajuda,...

O Ubuntu 17.10 apresenta o GNOME Shell com o Ubuntu Dock (baseado na extensão Dash to Dock GNOME Shell) e permite colocar o Dock na parte inferior da área de trabalho: No entanto, não há uma maneira fácil de mover o ícone Mostrar aplicativos (mostrado à direita) para a esquerda do Dock. Não...

A ordem dos widgets de extensão do shell parece ser aleatória. Como posso alterá-lo? Quero ter as informações de data / hora à esquerda, por exemplo. Meu painel

Como obtenho mais informações sobre por que uma extensão específica não está funcionando e me mostrando "Erro ao carregar a extensão" ao tentar

Ou automatizar as atualizações? Ou excluir / desativar o notificador de atualização? Ele não está na lista de "extensões instaladas" e a reinstalação não ajuda. Onde estão localizados seus

Em uma nova instalação do Ubuntu (12.04, 64 bits), após a instalação do gnome-shell, tentei instalar algumas extensões do extensions.gnome.org, mas não obtive resultado. Eu tentei com o Firefox e o Chromium e tive o mesmo problema. Abra qualquer página de extensão em extensions.gnome.org. Mude a...

O que está acontecendo aqui? Eu instalei a extensão Dash to Dock no Ubuntu 17.10. Tudo estava legal e, enquanto eu tentava aprimorar e ajustar a aparência da minha área de trabalho, em algum momento a barra de atalhos (dock?) À esquerda é duplicada. O padrão, que normalmente desaparece com o Dash...

Sei que perguntas que soam como essa já foram feitas antes, mas nenhuma das "soluções" está funcionando para mim. Estou usando a opção Gnome Classic . Não encontrei nenhuma extensão que faça o que eu quero. Não encontrei nenhuma entrada gnome-panelno meu dconfEditor Você poderia me ajudar? Eu...

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