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

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

96 software-installation  gnome-shell-extension  gnome-shell 

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 gnome-shell-extensions.

59 themes  gnome-shell  gnome-shell-extension 

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

35 gnome-shell  gnome-shell-extension  gnome-tweak-tool  top-bar 

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

35 gnome-shell  gnome-shell-extension 

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 git@github.com/Ahrak/gnome-shell-extension-disable-hot-corners.git fatal: repository 'git@github.com/Ahrak/gnome-shell-extension-disable-hot-corners.git' does …

35 gnome-shell  gnome-shell-extension  activities-overview 

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 …

32 18.04  workspaces  gnome-shell  gnome-shell-extension  workspace-switcher 

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 ?

27 command-line  gnome  gnome-shell-extension 

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 …

26 gnome  gnome-shell  gnome-shell-extension  ubuntu-dock  show-desktop 

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 ~/.local/share/gnome-shell/extensions/?

26 12.04  gnome  gnome-shell  gnome-shell-extension 

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 completamente …

25 gnome-shell  ubuntu-dock  gnome-shell-extension 

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 outro caminho. Eu posso copiar arquivos em …

23 gnome  gnome-shell  gnome-shell-extension 

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, eu …

22 development  gnome-shell-extension 

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 …

20 17.10  gnome-shell-extension  gnome-shell  ubuntu-dock 

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 shell:

18 14.04  gnome  gnome-shell  gnome-shell-extension 

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 ativá-la?

18 gnome-shell  gnome-shell-extension