Ich habe das NUR für CentOS Linux Version 7.5.1804 herausgefunden, es ist heute der 6. Oktober 2018.
Dies wurde also von den Leuten, die CentOS machen, erheblich vereinfacht.
yum install gnome-tweak-tool gnome-shell-extension-no-hot-corner
Dann sollten Sie es in Ihren Anwendungen -> Dienstprogramme -> Tweak Tool -> Erweiterungen -> "Keine obere linke heiße Ecke" finden. Wenn das Tweak-Tool vorhanden ist, die Erweiterung jedoch nicht, versuchen Sie einen Neustart. Ich musste neu starten, aber das Tutorial, das ich gefunden habe, sagte, dass ich das nicht brauchen sollte.
Wenn Sie „Keine obere linke heiße Ecke“ im Abschnitt „Erweiterungen“ des Tweak Tools nicht finden, klicken Sie auf „Weitere Erweiterungen erhalten“ und suchen Sie nach „Keine obere linke heiße Ecke“. Laden Sie es herunter und fügen Sie es im Abschnitt "Erweiterungen" hinzu, und Sie sind fertig.
Es hat eine Weile gedauert, aber ich habe den Übeltäter gefunden! Es lebt in /usr/share/gnome-shell/js/ui/layout.js Suchen Sie einfach nach der Funktion unten und kommentieren Sie den Code darin aus. Geben Sie anschließend Alt+F2 ein und geben Sie restart ein . Es dauert ein oder zwei Sekunden und setzt nur Gnome zurück. Möglicherweise müssen Sie sich erneut drahtlos anmelden und das System neu anmelden, aber alle Ihre Anwendungen bleiben am Leben.
_toggleOverview: function() {
//if (this._monitor.inFullscreen)
return;
/*if (Main.overview.shouldToggleByCornerOrButton()) {
this._rippleAnimation();
Main.overview.toggle();
}*/
},
Meine Antwort bezieht sich auf Gnome 3.22, aber ich schreibe diese Antwort immer noch in der Hoffnung, dass sie jemandem helfen könnte. Ich habe Stunden damit verbracht, verschiedene vorgeschlagene Ideen auszuprobieren, bis ich es endlich richtig hinbekommen habe.
Finden Sie Ihre Gnome-Shell-Version:
gnome-shell --version
Laden Sie die Erweiterung no-topleft-hot-corner von gnome extensions herunter, ihre ID ist derzeit 118:https://extensions.gnome.org/extension/118/no-topleft-hot-corner/
In meinem Fall war zip:https://extensions.gnome.org/extension-data/nohotcorner%40azuri.free.fr.v16.shell-extension.zip
Entpacken Sie die Zip-Datei an der richtigen Stelle, ich musste auch die Berechtigungen für eine der Dateien ändern.
$ 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
Gnome nach der Installation neu starten
$ gnome-shell --replace &
Starten Sie dann auch das Tweak-Tool neu und aktivieren Sie die darin enthaltene Erweiterung.
Hinweis:Ich habe zuerst versucht, die Erweiterung im Benutzerbereich zu installieren, was nicht funktioniert hat. Dann habe ich versucht, es im Systembereich zu installieren, und schließlich hat es funktioniert.