Я установил CentOS 7, который использует gnome classic, и нахожу горячий угол очень мучительным.
Как мне удалить / отключить его?
Я установил CentOS 7, который использует gnome classic, и нахожу горячий угол очень мучительным.
Как мне удалить / отключить его?
Ответы:
Установите расширение No Topleft Hot Corner .
Вы можете сделать это из своего браузера, посетив https://extensions.gnome.org/ . Вам нужно разрешить запуск соответствующего плагина (в Firefox это плагин Gnome Shell Integration).
Это безумие, что вам нужно установить расширение только для того, чтобы отключить такую раздражающую «функцию». Но, по крайней мере, вам не нужно идти по еще более сумасшедшему пути первой установки расширения для браузера, как это было в 2015 году.
Это должно работать:
sudo yum -y install gnome-shell-extension-no-hot-corner
Затем используйте Gnome Tweak Tool, чтобы активировать расширение «Без верхнего угла».
Используйте этот awk
«однострочник»:
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
Источник: http://blog.allanglesit.com/2012/03/gnome3-disable-hot-corners/
gnome-shell 3.12
всех JS и CSS файлы упаковываются в ресурсах и включены в двоичной гном-оболочке ( /usr/lib64/gnome-shell/libgnome-shell.so
) так что это не будет работать на более новые версии Gnome-оболочке.