Como desativar o hot corner no gnome-shell?

Question

O shell do Gnome tem o chamado "canto quente", que abre o painel se o mouse tocar no canto superior esquerdo de uma tela de monitor.

Eu quero isso desativado Eu costumava ter uma extensão do gnome-shell, mas a reposiotria não é mais encontrada:

git clone [email protected]/Ahrak/gnome-shell-extension-disable-hot-corners.git
fatal: repository '[email protected]/Ahrak/gnome-shell-extension-disable-hot-corners.git' does not exist

    

Answer 1

Solução de frans: git clone github.com:HROMANO/nohotcorner.git [email protected]: Permission denied (publickey).

Por que não instalar o gnome-shell-extension diretamente? É muito mais fácil.

link

    

Answer 2

Pegue o k0pernikus 'responda, mas nomeie o diretório corretamente:

cd ~/.local/share/gnome-shell/extensions/
git clone github.com:HROMANO/nohotcorner.git [email protected]

funciona para mim

    

Answer 3

Nas ferramentas de ajuste do Gnome ( sudo apt-get install gnome-tweak-tool ), vá para "Barra superior" e, em seguida, alterne para "Canto quente da visão geral de atividades".

E um screencast:

    

Answer 4

Mudei para No Topletft Hot Corner por HROMANO

cd ~/.local/share/gnome-shell/extensions/
git clone github.com:HROMANO/nohotcorner.git

    

Answer 5

Se você já tiver habilitado a infraestrutura para usar o Gnome-Extensions, basta acessar a página de extensões, procurar por "hot cantos" e clicar no botão para ativá-lo.

Aqui está um exemplo do URL:

link

Aqui está uma captura de tela do botão para ativar:

link

Obviamente, isso pressupõe que você já tenha instalado todos os bits para fazer com que as extensões funcionem no site - veja a seção sobre como instalar extensões de shell a partir de um navegador aqui:

link

    

Answer 6

Você pode usar a ferramenta gnome tweak para isso. Se você não tem isso, você pode instalá-lo usando o sudo apt-get install sudo apt-get install gnome-tweak-tool . Agora vá para a segunda aba chamada windows manager, vá para as opções chamadas hotcorner e agora, como você pode nesta imagem, desabilite / ative os hotcorners. < img src="https://i.stack.imgur.com/f9glX.png">

    

Answer 7

Instale o Gnome Tweak Tools com:

sudo apt-get install gnome-tweak-tool.

Uma vez instalado, abra o aplicativo tweak tool e vá para a opção marcada como extensões à esquerda:

Em seguida, vá para o seguinte local AQUI e faça o download do "No Top Left Canto "extensão por Azuri. Esta é uma extensão para trabalhar com o Gnome-Tweak Tool. Quando você baixar, você será perguntado sobre a versão do shell do gnome que você está usando. Você pode verificar com o seguinte comando:

gnome-shell --version.

Uma vez baixado, volte para a Tweak Tool e no final da lista de extensões é um botão de arquivo para adicionar mais extensões. Clique nele e selecione o arquivo zip contendo a extensão do shell baixada.

É isso. Isso pode exigir uma reinicialização. Para mim, pediu um recomeço, mas mesmo antes disso o canto quente estava desligado.