61

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
67

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

| improve this answer | |
  • 1
    I've added a link to a screencast with an english interface. – mmai Apr 8 '18 at 7:13
  • 7
    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
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/

| improve this answer | |
14

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

| improve this answer | |
  • 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
10

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/

| improve this answer | |
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

| improve this answer | |
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.

| improve this answer | |
2

I switched to No Topletft Hot Corner by HROMANO

cd ~/.local/share/gnome-shell/extensions/
git clone github.com:HROMANO/nohotcorner.git
| improve this answer | |
  • 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.

| improve this answer | |

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