El shell de GNOME tiene la llamada función "hot corner", que abre el tablero si el mouse toca la esquina superior izquierda de la pantalla de un monitor.
Quiero que esto esté deshabilitado. Solía tener una extensión de shell GNOME, pero el repositorio ya no se encuentra:
git clone git@github.com/Ahrak/gnome-shell-extension-disable-hot-corners.git
fatal: repository 'git@github.com/Ahrak/gnome-shell-extension-disable-hot-corners.git' does not exist
Respuestas:
En GNOME Tweak Tool, también conocido como GNOME Tweaks (instálelo ejecutando sudo apt-get install gnome-tweak-tool), vaya a " Barra superior " y luego cambie '' Resumen de actividades Hot Corner ".
Un screencast:
Solución probada de frans:
git clone github.com:HROMANO/nohotcorner.git nohotcorner@azuri.free.fr:
Permission denied (publickey).
¿Por qué no instalar gnome-shell-extension directamente? Es mucho más fácil y funciona para gnome en cada distribución de Linux.
https://extensions.gnome.org/extension/118/no-topleft-hot-corner/
Si está buscando el gsettingscomando para esta opción " Actividades en la esquina activa " en Ajustes de GNOME :
entonces, la clave es gsettings set org.gnome.shell enable-hot-corners true|false
ejemplo:
gsettings set org.gnome.shell enable-hot-corners true
gsettings set org.gnome.shell enable-hot-corners false
Tome la respuesta de k0pernikus pero nombre el directorio correctamente:
cd ~/.local/share/gnome-shell/extensions/
git clone github.com:HROMANO/nohotcorner.git nohotcorner@azuri.free.fr
funciona para mi
Si ya ha habilitado la infraestructura para usar Gnome-Extensions, simplemente puede ir a la página web de extensiones, buscar "rincones activos" y hacer clic en el interruptor para activarlo.
Aquí hay un ejemplo de la url:
https://extensions.gnome.org/extension/118/no-topleft-hot-corner/
Aquí hay una captura de pantalla del botón para encender:
Obviamente, esto supone que ya ha instalado todos los bits para que las extensiones funcionen desde el sitio web; consulte la sección sobre cómo instalar extensiones de shell desde un navegador aquí:
https://linoxide.com/linux-how-to/install-gnome-shell-extensions-gui-cli/
La opción para deshabilitar el "hot corner" no estaba disponible en la última versión de gnome-tweak-tools hasta esta fecha de respuesta, por lo que logré agregar la opción con una extensión: deshabilitar la extensión hot corner
Simplemente descargue el archivo comprimido y agréguelo a la opción "Extensiones", luego active o desactive el "hot corner" como lo desee.
Cambié a No Topletft Hot Corner por HROMANO
cd ~/.local/share/gnome-shell/extensions/
git clone github.com:HROMANO/nohotcorner.git
nohotcorner@azuri.free.fr, al menos en la versión actual. De lo contrario, la extensión no se iniciará y recibirá un mensaje de errorGjs-WARNING **: JS ERROR: Could not load extension nohotcorner: Error: uuid "nohotcorner@azuri.free.fr" from metadata.json does not match directory name "nohotcorner"
Instale las herramientas de ajuste de Gnome con:
sudo apt-get install gnome-tweak-tool.
Una vez instalado, abra la aplicación de herramienta de ajustes y vaya a la opción marcada extensiones a la izquierda:
A continuación, vaya a la siguiente ubicación AQUÍ y descargue la extensión "Sin esquina superior izquierda" de Azuri. Esta es una extensión para trabajar con la herramienta Gnome-Tweak. Cuando descargue, se le pedirá la versión de shell gnome que está utilizando. Puede verificarlo con el siguiente comando:
gnome-shell --version.
Una vez descargado, regrese a la herramienta Tweak Tool y al final de la lista de extensiones hay un botón Archivo para agregar más extensiones. Haga clic en él y luego seleccione el archivo zip que contiene la extensión de shell descargada.
Eso es. Puede requerir un reinicio. Para mí, solicitó un reinicio, pero incluso antes de eso, la esquina caliente estaba apagada.