SOLO me di cuenta de esto para la versión 7.5.1804 de CentOS Linux, hoy es el 6 de octubre de 2018.
Así que esto ha sido mucho más fácil gracias a las personas que hacen CentOS.
yum install gnome-tweak-tool gnome-shell-extension-no-hot-corner
Luego, debe encontrarlo en sus Aplicaciones -> Utilidades -> Herramienta Tweak -> Extensiones -> "Sin esquina activa superior izquierda". Si la herramienta de ajuste está ahí pero la extensión no, intente reiniciar. Necesitaba reiniciar, pero el tutorial que encontré decía que no debería necesitarlo.
Si no encuentra "Sin esquina activa superior izquierda" en la sección Extensiones de Tweak Tool, haga clic en "Obtener más extensiones" y busque "Sin esquina activa superior izquierda". Descárguelo y agréguelo en la sección Extensiones y listo.
¡Tomó un tiempo pero encontré al culpable! Vive dentro de /usr/share/gnome-shell/js/ui/layout.js Simplemente busque la función a continuación y comente el código que contiene. Luego, escriba Alt+F2 y escribe restart . Toma uno o dos segundos y solo reiniciará gnome. Es posible que deba volver a iniciar sesión de forma inalámbrica y volver a iniciar sesión en el sistema, pero todas sus aplicaciones permanecen activas.
_toggleOverview: function() {
//if (this._monitor.inFullscreen)
return;
/*if (Main.overview.shouldToggleByCornerOrButton()) {
this._rippleAnimation();
Main.overview.toggle();
}*/
},
Mi respuesta se refiere a gnome 3.22 pero todavía estoy escribiendo esta respuesta con la esperanza de que pueda ayudar a alguien. Perdí horas probando varias ideas sugeridas hasta que finalmente logré hacerlo de manera correcta.
Encuentre su versión de shell de Gnome:
gnome-shell --versión
Descargue la extensión no-topleft-hot-corner de gnome extensions, su ID es actualmente 118:https://extensions.gnome.org/extension/118/no-topleft-hot-corner/
En mi caso zip fue:https://extensions.gnome.org/extension-data/nohotcorner%40azuri.free.fr.v16.shell-extension.zip
Descomprima el archivo zip en el lugar correcto, también necesitaba cambiar los permisos de uno de los archivos.
$ sudo mkdir -p "/usr/share/gnome-shell/extensions/[email protected]"
$ sudo unzip -o ~/Downloads/[email protected] -d "/usr/share/gnome-shell/extensions/[email protected]"
$ sudo chmod 664 [email protected]/metadata.json
Reinicie gnome después de la instalación
$ gnome-shell --replace &
Luego reinicie la herramienta Tweak también y active la extensión dentro de ella.
Nota:primero intenté instalar la extensión en el espacio del usuario, pero no funcionó. Luego intenté instalarlo en el espacio del sistema y finalmente logré que funcionara.