GNOME Shell possède la fonctionnalité dite "hot corner", qui ouvre le tableau de bord si la souris touche le coin supérieur gauche d'un écran.
Je veux cette désactivation J'avais une extension GNOME Shell, or le dépôt n'est plus trouvé :
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
Si vous cherchez le gsettings pour ce " Aperçu des activités Le coin chaud option " dans Tweaks GNOME :
alors, la clé est gsettings set org.gnome.shell enable-hot-corners true | false
exemple :
gsettings set org.gnome.shell enable-hot-corners true
gsettings set org.gnome.shell enable-hot-corners false
EDITAR
La version récente de GNOME semble être
gsettings set org.gnome.desktop.interface enable-hot-corners true
gsettings set org.gnome.desktop.interface enable-hot-corners false
J'ai essayé la solution de Frans :
git clone github.com:HROMANO/nohotcorner.git nohotcorner@azuri.free.fr:
Permission denied (publickey).Pourquoi ne pas installer directement l'extension gnome-Shell ? C'est beaucoup plus facile, et cela fonctionne pour gnome dans toutes les distributions linux.
https://extensions.gnome.org/extension/118/no-topleft-hot-corner/
Mise à jour pour gnome>3.36 :
Cette extension n'est plus nécessaire car elle est maintenant supportée par le Shell lui-même. Vous pouvez désactiver le hotcorner avec un gsettings ou en utilisant l'outil gnome-tweak.
Si vous avez déjà activé l'infrastructure pour utiliser Gnome-Extensions, il vous suffit d'aller sur la page web des extensions, de rechercher "hot corners" et de cliquer sur le bouton pour l'activer.
Voici un exemple de l'url :
https://extensions.gnome.org/extension/118/no-topleft-hot-corner/
Voici une capture d'écran du bouton à activer :
Évidemment, cela suppose que vous avez déjà installé tous les bits pour faire fonctionner les extensions à partir du site Web - voir la section sur l'installation des extensions Shell à partir d'un navigateur ici :
https://linoxide.com/linux-how-to/install-gnome-Shell-extensions-gui-cli/
Prenez k0pernikus mais nommez le répertoire correctement :
cd ~/.local/share/gnome-shell/extensions/
git clone github.com:HROMANO/nohotcorner.git nohotcorner@azuri.free.frfonctionne pour moi
SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.
