[CentOS] Disable Top Left Hot Corner

Sat May 27 22:25:00 UTC 2017
Pete Biggs <pete at biggs.org.uk>

On Sat, 2017-05-27 at 14:51 -0400, Mike - st257 wrote:
> awk one-liner found here:
> https://unix.stackexchange.com/a/196726
> Whether it's persistent through package updates is another matter.

Unfortunately that doesn't work as the requisite file
(/usr/share/gnome-shell/js/ui/layout.js) doesn't actually exist in
CentOS 7 - it's for an older version of gnome-shell.

The way to do it is to use the shell extension "nohotcorners" - but the
OP doesn't want to use that and has various other criteria that need to
be satisfied.