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