Skip to content

Instantly share code, notes, and snippets.

@lukestanley
Created February 19, 2020 10:48
Show Gist options
  • Save lukestanley/cababdf31f3df8c399b48137f31e32b9 to your computer and use it in GitHub Desktop.
Save lukestanley/cababdf31f3df8c399b48137f31e32b9 to your computer and use it in GitHub Desktop.
Setting up hotspot corners on Ubuntu Desktop 18.04
# Something like this:
mkdir -p $HOME/.local/share/gnome-shell/extensions/[email protected]
cd ~/Downloads/
wget https://extensions.gnome.org/extension-data/customcorner%40eccheng.gitlab.com.v3.shell-extension.zip
restart
unzip [email protected] -d $HOME/.local/share/gnome-shell/extensions/[email protected]
# restart your window manager sesson, for the Wayland window manager this may require logging out, sorry!
gnome-tweaks
# enable the extension and set the hot spot regions as desired
# if you want to lock the computer, this command can help:
# dbus-send --type=method_call --dest=org.gnome.ScreenSaver /org/gnome/ScreenSaver org.gnome.ScreenSaver.Lock
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment