He instalado CentOS 7, que usa gnome classic, y encuentro que el rincón caliente es extremadamente doloroso.
¿Cómo lo elimino / desactivo?
He instalado CentOS 7, que usa gnome classic, y encuentro que el rincón caliente es extremadamente doloroso.
¿Cómo lo elimino / desactivo?
Respuestas:
Instale la extensión No Topleft Hot Corner .
Puede hacerlo desde su navegador, visitando https://extensions.gnome.org/ . Deberá permitir que se ejecute el complemento apropiado (en Firefox, es el complemento Gnome Shell Integration).
Es una locura que necesite instalar una extensión solo para deshabilitar una molesta "característica". Pero al menos, realmente no es necesario seguir la ruta aún más loca de instalar primero una extensión de navegador, como aparentemente fue el caso en 2015.
Esto debería funcionar:
sudo yum -y install gnome-shell-extension-no-hot-corner
Luego use la herramienta de ajuste Gnome para habilitar la extensión "No topleft hot corner".
Utilice este awk
'one-liner':
awk '/this._corner = new Clutter.Rectangle/,/ });/ { sub(/reactive: true/, "reactive: false");} { print }' /usr/share/gnome-shell/js/ui/layout.js > /usr/share/gnome-shell/js/ui/layout.js.tmp; mv /usr/share/gnome-shell/js/ui/layout.js /usr/share/gnome-shell/js/ui/layout.js.orig; mv /usr/share/gnome-shell/js/ui/layout.js.tmp /usr/share/gnome-shell/js/ui/layout.js
Fuente: http://blog.allanglesit.com/2012/03/gnome3-disable-hot-corners/
gnome-shell 3.12
todos los archivos js y css están envueltos en recursos e incluidos en el binario gnome-shell ( /usr/lib64/gnome-shell/libgnome-shell.so
), esto no funcionará para las versiones más nuevas de gnome-shell.