Como desabilito o canto quente de 'Atividades' no shell do GNOME?

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

Na ferramenta GNOME Tweak, também conhecida como GNOME Tweaks (instale-a executando sudo apt-get install gnome-tweak-tool), vá para " Barra superior " e depois mude para " Visão geral das atividades " Hot Corner ".

Um screencast:

Tentei a solução dos 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 e funciona para o gnome em todas as distribuições linux.

https://extensions.gnome.org/extension/118/no-topleft-hot-corner/

Maneira da linha de comando

Se você está procurando o gsettingscomando para esta opção " Canto ativo da visão geral das atividades " no GNOME Tweaks :

então, a chave é gsettings set org.gnome.shell enable-hot-corners true|false

exemplo:

gsettings set org.gnome.shell enable-hot-corners true
gsettings set org.gnome.shell enable-hot-corners false

Pegue a resposta do k0pernikus , mas nomeie o diretório corretamente:

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

funciona para mim

Se você já ativou a infra-estrutura para usar o Gnome-Extensions, basta acessar a página de extensões, procurar "cantos quentes" e clicar no botão para ativá-lo.

Aqui está um exemplo do URL:

https://extensions.gnome.org/extension/118/no-topleft-hot-corner/

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

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

https://linoxide.com/linux-how-to/install-gnome-shell-extensions-gui-cli/

A opção para desativar o "hot corner" não estava disponível na versão mais recente do gnome-tweak-tools até a data da resposta, portanto, consigo adicionar a opção com uma extensão: desativar a extensão hot corner

Basta baixar o arquivo compactado e adicionar a opção "Extensões", depois ativar ou desativar o "canto quente" como desejar.

Eu mudei para No Topletft Hot Corner por HROMANO

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

Instale as Ferramentas Gnome Tweak com:

sudo apt-get install gnome-tweak-tool.

Depois de instalado, abra o aplicativo da ferramenta de ajustes e vá para a opção marcada extensões à esquerda:

Em seguida, vá para o seguinte local AQUI e faça o download da extensão "No Top Left Corner" de Azuri. Esta é uma extensão para trabalhar com a Ferramenta Gnome-Tweak. Ao fazer o download, você será solicitado a versão do shell do gnome que está usando. Você pode verificá-lo com o seguinte comando:

gnome-shell --version.

Depois de baixado, volte para a Ferramenta Tweak e, no final da lista de extensões, há um botão Arquivo para adicionar mais extensões. Clique nele e selecione o arquivo zip que contém a extensão do shell baixada.

É isso aí. Pode ser necessário reiniciar. Para mim, ele pediu um reinício, mas mesmo antes disso o canto quente estava desligado.