L'ho appena capito per la versione 7.5.1804 di CentOS Linux, oggi è il 6 ottobre 2018.
Quindi questo è stato reso molto più semplice dalle persone che realizzano CentOS.
yum install gnome-tweak-tool gnome-shell-extension-no-hot-corner
Quindi, dovresti trovarlo in Applicazioni -> Utilità -> Tweak Tool -> Estensioni -> "Nessun angolo caldo in alto a sinistra". Se lo strumento di modifica è presente ma l'estensione no, prova a riavviare. Avevo bisogno di riavviare, ma il tutorial che ho trovato diceva che non avrei dovuto farlo.
Se non trovi "Nessun angolo attivo in alto a sinistra" nella sezione Estensioni di Tweak Tool, fai clic su "Ottieni altre estensioni" e cerca "Nessun angolo attivo in alto a sinistra". Scaricalo e aggiungilo nella sezione Estensioni e il gioco è fatto.
Ci ho messo un po' ma ho trovato il colpevole! Vive all'interno di /usr/share/gnome-shell/js/ui/layout.js Basta cercare la funzione qui sotto e commentare il codice all'interno. Successivamente, digita Alt+F2 e digita restart . Ci vorranno un secondo o due e ripristineranno solo gnome. Potrebbe essere necessario effettuare un nuovo accesso wireless e un nuovo accesso al sistema, ma tutte le tue applicazioni rimarranno attive.
_toggleOverview: function() {
//if (this._monitor.inFullscreen)
return;
/*if (Main.overview.shouldToggleByCornerOrButton()) {
this._rippleAnimation();
Main.overview.toggle();
}*/
},
La mia risposta riguarda gnome 3.22 ma sto ancora scrivendo questa risposta sperando che possa aiutare qualcuno. Ho perso ore a provare varie idee suggerite fino a quando finalmente sono riuscito a farlo in modo corretto.
Trova la tua versione della shell di Gnome:
gnome-shell --versione
Scarica l'estensione no-topleft-hot-corner dalle estensioni di gnome, il suo ID è attualmente 118:https://extensions.gnome.org/extension/118/no-topleft-hot-corner/
Nel mio caso lo zip era:https://extensions.gnome.org/extension-data/nohotcorner%40azuri.free.fr.v16.shell-extension.zip
Disimballare zip nel posto corretto, avevo anche bisogno di cambiare i permessi per uno dei file.
$ sudo mkdir -p "/usr/share/gnome-shell/extensions/[email protected]"
$ sudo unzip -o ~/Downloads/[email protected] -d "/usr/share/gnome-shell/extensions/[email protected]"
$ sudo chmod 664 [email protected]/metadata.json
Riavvia gnome dopo l'installazione
$ gnome-shell --replace &
Quindi riavvia anche lo strumento Tweak e attiva l'estensione al suo interno.
Nota:ho prima provato a installare l'estensione nello spazio utente, che non ha funzionato. Poi ho provato a installarlo nello spazio di sistema e finalmente l'ho fatto funzionare.