Die GNOME-Shell verfügt über das sogenannte Feature "Hot Corner", das das Dashboard öffnet, wenn die Maus die linke obere Ecke eines Bildschirms berührt.
Ich möchte, dass dies deaktiviert wird. Früher hatte ich eine GNOME-Shell-Erweiterung, aber das Repository wurde nicht mehr gefunden:
git clone git@github.com/Ahrak/gnome-shell-extension-disable-hot-corners.git
fatal: repository 'git@github.com/Ahrak/gnome-shell-extension-disable-hot-corners.git' does not exist
Antworten:
Gehen Sie in GNOME Tweak Tool (auch bekannt als GNOME Tweaks sudo apt-get install gnome-tweak-tool) zu " Top bar " und wechseln Sie dann zu " Activities Overview Hot Corner ".
Ein Screencast:
Versuchte frans Lösung:
git clone github.com:HROMANO/nohotcorner.git nohotcorner@azuri.free.fr:
Permission denied (publickey).
Warum nicht die Gnome-Shell-Erweiterung direkt installieren? Es ist viel einfacher und funktioniert für Gnome in jeder Linux-Distribution.
https://extensions.gnome.org/extension/118/no-topleft-hot-corner/
Wenn Sie in GNOME Tweaks nach dem gsettingsBefehl für diese Option " Aktivitätenübersicht - Hot Corner " suchen :
dann ist der Schlüssel gsettings set org.gnome.shell enable-hot-corners true|false
Beispiel:
gsettings set org.gnome.shell enable-hot-corners true
gsettings set org.gnome.shell enable-hot-corners false
Nimm die Antwort von k0pernikus , aber benenne das Verzeichnis richtig:
cd ~/.local/share/gnome-shell/extensions/
git clone github.com:HROMANO/nohotcorner.git nohotcorner@azuri.free.fr
funktioniert bei mir
Wenn Sie die Infrastruktur bereits für die Verwendung von Gnome-Extensions aktiviert haben, können Sie einfach auf die Extensions-Webseite gehen, nach "Hot Corners" suchen und auf den Schalter klicken, um sie einzuschalten.
Hier ist ein Beispiel für die URL:
https://extensions.gnome.org/extension/118/no-topleft-hot-corner/
Hier ist ein Screenshot der Schaltfläche zum Einschalten:
Dies setzt natürlich voraus, dass Sie bereits alle Bits installiert haben, damit die Erweiterungen von der Website funktionieren. Weitere Informationen finden Sie hier im Abschnitt zum Installieren von Shell-Erweiterungen von einem Browser aus:
https://linoxide.com/linux-anleitungen/install-gnome-shell-extensions-gui-cli/
Die Option zum Deaktivieren der "heißen Ecke" war in der neuesten Version von gnome-tweak-tools bis zu diesem Antwortdatum nicht verfügbar , daher habe ich es geschafft, die Option mit einer Erweiterung hinzuzufügen: Deaktiviere die heiße Ecke-Erweiterung
Laden Sie einfach die komprimierte Datei herunter und fügen Sie die Option "Erweiterungen" hinzu. Aktivieren oder deaktivieren Sie anschließend die "Hot Corner", wie Sie möchten.
Ich bin zu No Topletft Hot Corner von HROMANO gewechselt
cd ~/.local/share/gnome-shell/extensions/
git clone github.com:HROMANO/nohotcorner.git
nohotcorner@azuri.free.fr- zumindest in der aktuellen Version. Andernfalls wird die Erweiterung nicht gestartet und es wird eine Fehlermeldung Gjs-WARNING **: JS ERROR: Could not load extension nohotcorner: Error: uuid "nohotcorner@azuri.free.fr" from metadata.json does not match directory name "nohotcorner"
Installieren Sie Gnome Tweak Tools mit:
sudo apt-get install gnome-tweak-tool.
Nach der Installation öffne die Tweak Tool App und gehe zu der Option mit den markierten Erweiterungen auf der linken Seite:
Gehen Sie dann HIER zu folgendem Speicherort und laden Sie die Erweiterung "No Top Left Corner" von Azuri herunter. Dies ist eine Erweiterung für die Arbeit mit Gnome-Tweak Tool. Beim Herunterladen werden Sie nach der von Ihnen verwendeten Gnome-Shell-Version gefragt. Sie können dies mit dem folgenden Befehl überprüfen:
gnome-shell --version.
Nach dem Herunterladen kehren Sie zum Tweak Tool zurück und am Ende der Erweiterungsliste befindet sich eine Schaltfläche Datei, über die Sie weitere Erweiterungen hinzufügen können. Klicken Sie darauf und wählen Sie dann die Zip-Datei mit der heruntergeladenen Shell-Erweiterung aus.
Das ist es. Möglicherweise ist ein Neustart erforderlich. Bei mir wurde ein Neustart verlangt, aber schon vorher war die heiße Ecke aus.