Ubuntu – How to disable ‘Activities’ hot corner in GNOME shell

activities-overviewgnome-shellgnome-shell-extension

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

Best Answer

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".

Hot corner configuration in gnome tweak tools

A screencast :

Hot corner configuration in gnome tweak tools screencast