Ho installato CentOS 7 che utilizza gnome classic e trovo l'angolo caldo estremamente dolorosamente fastidioso.
Come lo rimuovo / disabilito?
Ho installato CentOS 7 che utilizza gnome classic e trovo l'angolo caldo estremamente dolorosamente fastidioso.
Come lo rimuovo / disabilito?
Risposte:
Installare l'estensione No Topleft Hot Corner .
Puoi farlo dal tuo browser, visitando https://extensions.gnome.org/ . Dovrai consentire l'esecuzione del plug-in appropriato (su Firefox, è il plug-in Gnome Shell Integration).
È pazzesco che sia necessario installare un'estensione solo per disabilitare una "caratteristica" così fastidiosa. Ma almeno, non è davvero necessario seguire la strada ancora più folle della prima installazione di un'estensione del browser, come apparentemente è accaduto nel 2015.
Questo dovrebbe funzionare:
sudo yum -y install gnome-shell-extension-no-hot-corner
Quindi usa lo strumento Gnome Tweak per abilitare l'estensione "Nessun angolo caldo di inizio corsa".
Usa questo 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
Fonte: http://blog.allanglesit.com/2012/03/gnome3-disable-hot-corners/
gnome-shell 3.12
tutti i file js e css sono racchiusi in risorse e inclusi nel binario gnome-shell ( /usr/lib64/gnome-shell/libgnome-shell.so
), quindi non funzionerà con le versioni più recenti di gnome-shell.