yochananmarqos

pop-shell.install

Sep 9th, 2020 (edited)
215
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 1.26 KB | None | 0 0
  1. # https://github.com/pop-os/shell#overridden-gnome-shortcuts
  2.  
  3. post_install() {
  4.     # Close window
  5.     gsettings set org.gnome.desktop.wm.keybindings close "['<Super>q']"
  6.  
  7.     # Maximize the focused window
  8.     gsettings set org.gnome.desktop.wm.keybindings maximize "['<Super>m']"
  9.  
  10.     # Minimize the focused window
  11.     gsettings set org.gnome.desktop.wm.keybindings minimize "['<Super>comma']"
  12.  
  13.     # Lock screen
  14.     gsettings set org.gnome.settings-daemon.plugins.media-keys screensaver "['<Super>Escape']"
  15.  
  16.     # Files
  17.     gsettings set org.gnome.settings-daemon.plugins.media-keys home "['<Super>f']"
  18.  
  19.     # Email
  20.     gsettings set org.gnome.settings-daemon.plugins.media-keys email "['<Super>e']"
  21.  
  22.     # Web browser
  23.     gsettings set org.gnome.settings-daemon.plugins.media-keys www "['<Super>b']"
  24. }
  25.  
  26. post_remove() {
  27.     # Reset shortcuts to default
  28.     gsettings reset org.gnome.desktop.wm.keybindings close
  29.     gsettings reset org.gnome.desktop.wm.keybindings maximize
  30.     gsettings reset org.gnome.desktop.wm.keybindings minimize
  31.     gsettings reset org.gnome.settings-daemon.plugins.media-keys screensaver
  32.     gsettings reset org.gnome.settings-daemon.plugins.media-keys home
  33.     gsettings reset org.gnome.settings-daemon.plugins.media-keys email
  34.     gsettings reset org.gnome.settings-daemon.plugins.media-keys www
  35. }
Add Comment
Please, Sign In to add comment