J'ai installé CentOS 7 qui utilise gnome classic, et je trouve le coin chaud extrêmement ennuyeux.
Comment puis-je le supprimer / le désactiver?
J'ai installé CentOS 7 qui utilise gnome classic, et je trouve le coin chaud extrêmement ennuyeux.
Comment puis-je le supprimer / le désactiver?
Réponses:
Installez l'extension No Topleft Hot Corner .
Vous pouvez le faire à partir de votre navigateur, en visitant https://extensions.gnome.org/ . Vous devrez autoriser le plugin approprié à s'exécuter (sur Firefox, c'est le plugin Gnome Shell Integration).
C'est fou que vous ayez besoin d'installer une extension juste pour désactiver une telle "fonctionnalité" ennuyeuse. Mais au moins, vous n'avez pas vraiment besoin d'emprunter la voie encore plus folle de la première installation d'une extension de navigateur, comme ce fut apparemment le cas en 2015.
Cela devrait fonctionner:
sudo yum -y install gnome-shell-extension-no-hot-corner
Utilisez ensuite l'outil Gnome Tweak pour activer l'extension "No topleft hot corner".
Utilisez ce 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
Source: http://blog.allanglesit.com/2012/03/gnome3-disable-hot-corners/
gnome-shell 3.12
tous les fichiers js et css sont enveloppés dans des ressources et inclus dans le gnome-shell binary ( /usr/lib64/gnome-shell/libgnome-shell.so
), cela ne fonctionnera donc pas pour les nouvelles versions de gnome-shell.