Custom Hot Corners
A GNOME Shell Extension for customizable hot corners.
Download the zip archive from the release page and extract the files directly into the directory
~/.email@example.com. After that you have to restart GNOME Shell (
ALT+F2 r Enter) and enable the extension with
Alternatively you can install the extension from the git repository with the following steps (which require the GNU Build System):
autoreconf -vi ./configure make local-install