Created
February 19, 2020 10:48
-
-
Save lukestanley/cababdf31f3df8c399b48137f31e32b9 to your computer and use it in GitHub Desktop.
Setting up hotspot corners on Ubuntu Desktop 18.04
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# 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