Я встановив CentOS 7, який використовує класичний гном, і вважаю, що гарячий куточок надзвичайно болісно дратує.
Як її видалити / відключити?
Я встановив CentOS 7, який використовує класичний гном, і вважаю, що гарячий куточок надзвичайно болісно дратує.
Як її видалити / відключити?
Відповіді:
Встановіть розширення No Topleft Hot Corner .
Це можна зробити у своєму браузері, відвідавши https://extensions.gnome.org/ . Вам потрібно дозволити запуск відповідного плагіна (на Firefox, це інтеграція з додатком Gnome Shell).
Божевільно, що вам потрібно встановити розширення просто для того, щоб вимкнути таку докучливу "функцію". Але, принаймні, вам не потрібно йти ще більш шаленим шляхом першого встановлення розширення браузера, як це було, мабуть, у 2015 році.
Це має працювати:
sudo yum -y install gnome-shell-extension-no-hot-corner
Потім скористайтеся інструментом налаштування Gnome Tweak, щоб увімкнути розширення "Без гарячого кута".
Скористайтеся цим 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, загорнуті в ресурси та включені до двійкового файлу gnome-shell ( /usr/lib64/gnome-shell/libgnome-shell.so
), тому це не працюватиме для новіших версій gnome-shell.