How do I disable 'Activities' hot corner in GNOME shell?

GNOME shell has the so-called feature "hot corner", that opens the dashboard if the mouse touches the top-left corner of a monitor screen.

I want this disabled I used to have a GNOME shell extension, yet the repository is not found anymore:

git clone git@
fatal: repository 'git@ does not exist

8 Answers

In GNOME Tweak Tool aka GNOME Tweaks (install it by running sudo apt-get install gnome-tweak-tool), go to "Top bar" then switch '"Activities Overview Hot Corner".

A screencast :

Command-line way

If you are looking for the gsettings command for this "Activities Overview Hot Corner" option in GNOME Tweaks:

then, the key is gsettings set org.gnome.shell enable-hot-corners true|false

example:

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

EDIT

Recent version of GNOME seems to be

gsettings set org.gnome.desktop.interface enable-hot-corners true
gsettings set org.gnome.desktop.interface enable-hot-corners false

Tried frans' solution:

git clone github.com:HROMANO/nohotcorner.git :
Permission denied (publickey).

Why not install the gnome-shell-extension directly? It's much easier, and works for gnome in every linux distribution.

Update for gnome>3.36:

This extension is not needed anymore as it is now supported by the shell itself. You can switch off the hotcorner with a gsettings or using gnome-tweak tool.

If you have already enabled the infrastructure to use Gnome-Extensions, you can simply go to the extensions webpage, search for "hot corners" and click the switch to turn it on.

Here is an example of the url:

Here is a screenshot of the button to switch on:

Obviously this assumes that you have already installed all the bits to make extensions work from the website - see the section on installing shell extensions from a browser here:

Take k0pernikus' answer but name the directory correctly:

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

works for me

The option to disable the "hot corner" wasn't available on the latest version of gnome-tweak-tools up to this answer date, so I manage to add the option with an extension: disable hot corner extension

Just download the compressed file and add it the "Extensions" option, after that enable or disable the "hot corner" as you wish.

I switched to No Topletft Hot Corner by HROMANO

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

Install Gnome Tweak Tools with:

sudo apt-get install gnome-tweak-tool.

Once installed open the tweak tool app and go to the option marked extensions on the left:

Next go to the following location HERE and download the "No Top Left Corner" extension by Azuri. This is an extension to work with Gnome-Tweak Tool. When you download, you will be asked for the gnome shell version you are using. You can check it with the following command:

gnome-shell --version.

Once downloaded, go back to the Tweak Tool and at the end of the extensions list is a File button to add more extensions. Click it, and then select the zip file containing the shell extension downloaded.

That's it. It may require a restart. For me it asked for a restart, but even before that the hot corner was off.