Perguntas sobre 'gnome-shell'

a interface do usuário principal e o gerenciamento de composição do ambiente de área de trabalho GNOME 3, essa tag é para perguntas sobre o uso e solução de problemas do gnome-shell, tematização etc. As extensões devem ser marcadas com [gnome-shell-extension]
3
respostas

Gnome 3 atalhos de teclado na fonte? Onde ctrl-c… (cortar, copiar e colar) são definidos?

Depois de atualizar e obter a última versão do Gnome + Wayland, ele praticamente quebrou o Autokey (até mesmo fez o login com o Gnome3 no Xorg). Depois de tanto tempo gasto tentando copiar Command + c em vez de Control + c (eu uso um teclado Mac...
13.01.2017 / 22:39
1
resposta

Como remover as extensões pré-instaladas padrão do Gnome?

Eu estou no Debian Wheezy estável com o Gnome 3.4 e tenho várias extensões padrão, que na página 'Installed Extensions' no link (usando o plugin Gnome Shell Integration do Iceweasel), não podem ser removidos como os que eu adicionei do extensi...
20.03.2015 / 01:34
0
respostas

Como posso minimizar todas as janelas do GNOME / Wayland a partir da linha de comando?

Antes de mudar para o Wayland, eu minimizaria todas as janelas do GNOME Shell com o seguinte comando: wmctrl -k on ... mas ambos wmctrl e xdotool são aplicativos somente do X11. Qual comando da CLI posso usar para minimizar todas as...
15.09.2017 / 14:40
2
respostas

Adicionando papéis de parede no GNOME Shell

Ao executar Activities → Settings → Background , você pode encontrar três guias de plano de fundo: [Papéis de parede] [Fotos] [Cores] Em [Papéis de parede], você pode encontrar fundos em /usr/share/backgrounds/ , mas que foram adi...
10.07.2014 / 09:03
1
resposta

Spotify controla (próximo, anterior, etc) via menu de contexto nos favoritos do gnome

Adicionei o Spotify launcher ao Gnome Shell Dash e agora é um aplicativo favorito. Como faço para adicionar os comandos next / prev / play-pause / stop ao menu de contexto Spotify ? Para quem ainda acha isso pouco claro, o objetivo a...
14.10.2016 / 10:31
1
resposta

Gnome3 +: Como faço para remover favoritos do Dash via terminal?

Suponho que preciso editar um dos esquemas disponíveis em gsettings , mas não sei qual. e quando eu listei todos os esquemas, há muitos deles.     
30.09.2016 / 05:28
1
resposta

atalhos de teclado só funcionam com super-chave esquerda

Recentemente tive que alterar os atalhos de teclado após atualizar meu sistema. Eu tive que usar dconf-editor para definir manualmente o atalho de <Super>+R para <Mod4>+R para fazê-los funcionar (veja aqui ). Isso funcio...
13.05.2012 / 18:59
3
respostas

Um PC, vários usuários, Gnome 3 e Awesome. Como facilitar a troca de usuários via GDM

Estou usando o Arch Linux com o Gnome 3.6 instalado. Existem vários usuários neste PC com suas próprias contas. Costumávamos usar apenas o botão switch user em vez de fazer logout. Então, quase sempre vários usuários estão logados em nosso PC...
08.03.2013 / 20:18
2
respostas

Como eu redimensiono a barra superior do shell do GNOME

Estou no Ubuntu 12.04 e instalei o gnome-shell, mas achei que a barra superior é maior do que normalmente é, como posso alterar seu tamanho?     
10.06.2012 / 08:39
1
resposta

Defina a transparência da janela no Gnome

Gostaria de tornar a janela do meu IDE parcialmente transparente. Eu consegui isso em Unity usando compiz como descrito na resposta aceita para: Como tornar uma janela transparente no gnome . No entanto, não acredito que compiz funcione p...
02.03.2018 / 07:03