How to disable gnome3 hotspot

[Manish Jain]

On Sat, Aug 20, 2016 at 12:35 AM, Stari Karp <starikarp at yandex.com> wrote:
Try to install extension manually not with browser in ~/.local/share/gnome-shell/extensions/

That is precisely what I already attempted - with success  : - )

For some reason, the subdirectory under extensions must be named nohotcorner at azuri.free.fr

If I try to drop @azuri.free.fr from the name, hotspot remains in effect, but with the whole name, hotspot gets disabled very nicely.

Thanks