79

GNOME shell has the so-called feature "hot corner", that opens the dashboard if the mouse touches the top-left corner of a monitor screen.

I want this disabled I used to have a GNOME shell extension, yet the repository is not found anymore:

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
0
95

In GNOME Tweak Tool aka GNOME Tweaks (install it by running sudo apt-get install gnome-tweak-tool), go to "Top bar" then switch '"Activities Overview Hot Corner".

Hot corner configuration in gnome tweak tools

A screencast :

Hot corner configuration in gnome tweak tools screencast

14
  • 1
    I've added a link to a screencast with an english interface.
    – mmai
    Apr 8 '18 at 7:13
  • 9
    Which version of Tweaks is that? I don't have this option in 3.28.1.
    – orschiro
    May 11 '18 at 14:30
  • 1
    I currently have gnome-tweak-tools 3.28.1-1 on ubuntu 18.04
    – mmai
    May 12 '18 at 10:23
  • 6
    this works until i lock the screen and unlock it again to resume my session. any thoughts on how to make this setting "stick"?
    – amc
    Jun 8 '18 at 3:24
  • 3
    Yeah, this doesn't work when I suspend/resume. See @user230910's answer.
    – Julian
    Apr 17 '19 at 15:43
23

Command-line way

If you are looking for the gsettings command for this "Activities Overview Hot Corner" option in GNOME Tweaks:

enter image description here

then, the key is gsettings set org.gnome.shell enable-hot-corners true|false

example:

gsettings set org.gnome.shell enable-hot-corners true
gsettings set org.gnome.shell enable-hot-corners false

enter image description here


EDIT

Recent version of GNOME seems to be

gsettings set org.gnome.desktop.interface enable-hot-corners true
gsettings set org.gnome.desktop.interface enable-hot-corners false
7
  • 1
    exactly what i was looking for, thanks! One more question: How did you "merge" the bash and the top-bar into one, single bar at the bottom?
    – kerner1000
    Nov 30 '18 at 11:49
  • The setting was move to org.gnome.desktop.interface
    – aross
    Nov 2 '20 at 11:12
  • 1
    yw, and thx for a great answer.
    – aross
    Nov 2 '20 at 15:45
  • 1
    i'm using Debian 10, and the settings is in neither desktop.interface nor shell. Where can I find it?
    – xdavidliu
    Dec 20 '20 at 14:09
  • 1
    @xdavidliu If you failed to find the setting, it usually means that your gnome-shell is too old. You should either upgrade your gnome to 3.36+ (if your distribution allows), or use a gnome extension (refer to my answer).
    – recolic
    May 6 at 5:55
16

Tried frans' solution:

git clone github.com:HROMANO/nohotcorner.git nohotcorner@azuri.free.fr:
Permission denied (publickey).

Why not install the gnome-shell-extension directly? It's much easier, and works for gnome in every linux distribution.

https://extensions.gnome.org/extension/118/no-topleft-hot-corner/


Update for gnome>3.36:

This extension is not needed anymore as it is now supported by the shell itself. You can switch off the hotcorner with a gsettings or using gnome-tweak tool.

11

If you have already enabled the infrastructure to use Gnome-Extensions, you can simply go to the extensions webpage, search for "hot corners" and click the switch to turn it on.

Here is an example of the url:

https://extensions.gnome.org/extension/118/no-topleft-hot-corner/

Here is a screenshot of the button to switch on:

Screenshot of extendsions.gnome.org link

Obviously this assumes that you have already installed all the bits to make extensions work from the website - see the section on installing shell extensions from a browser here:

https://linoxide.com/linux-how-to/install-gnome-shell-extensions-gui-cli/

7

Take k0pernikus' answer but name the directory correctly:

cd ~/.local/share/gnome-shell/extensions/
git clone github.com:HROMANO/nohotcorner.git nohotcorner@azuri.free.fr

works for me

5

The option to disable the "hot corner" wasn't available on the latest version of gnome-tweak-tools up to this answer date, so I manage to add the option with an extension: disable hot corner extension

Extension options

Just download the compressed file and add it the "Extensions" option, after that enable or disable the "hot corner" as you wish.

2

I switched to No Topletft Hot Corner by HROMANO

cd ~/.local/share/gnome-shell/extensions/
git clone github.com:HROMANO/nohotcorner.git
3
  • 2
    You need to call this extension nohotcorner@azuri.free.fr - at least in the current version. The extension won't start otherwise and you get an error message Gjs-WARNING **: JS ERROR: Could not load extension nohotcorner: Error: uuid "nohotcorner@azuri.free.fr" from metadata.json does not match directory name "nohotcorner"
    – frans
    Nov 17 '16 at 9:26
  • yes, those who read this: use @frans answer above
    – MInner
    Nov 19 '16 at 23:55
  • 1
    I get permission denied trying to clone.
    – Julian
    Apr 17 '19 at 15:39
1

Install Gnome Tweak Tools with:

sudo apt-get install gnome-tweak-tool.

Once installed open the tweak tool app and go to the option marked extensions on the left:

Next go to the following location HERE and download the "No Top Left Corner" extension by Azuri. This is an extension to work with Gnome-Tweak Tool. When you download, you will be asked for the gnome shell version you are using. You can check it with the following command:

gnome-shell --version.

Once downloaded, go back to the Tweak Tool and at the end of the extensions list is a File button to add more extensions. Click it, and then select the zip file containing the shell extension downloaded.

That's it. It may require a restart. For me it asked for a restart, but even before that the hot corner was off.

Not the answer you're looking for? Browse other questions tagged or ask your own question.