gnome-shell-extension-pop-s.../pop-shell.install

33 lines
1.1 KiB
Plaintext
Raw Normal View History

2020-10-06 16:53:56 +00:00
post_install() {
echo "POP-shell configuration"
cd /usr/share/gnome-shell/extensions/pop-shell@system76.com/scripts
./configure.sh
touch toto
}
post_upgrade() {
post_install
}
post_remove() {
left="h"
down="j"
up="k"
right="l"
KEYS_GNOME_WM=/org/gnome/desktop/wm/keybindings
KEYS_GNOME_SHELL=/org/gnome/shell/keybindings
KEYS_MUTTER=/org/gnome/mutter/keybindings
KEYS_MEDIA=/org/gnome/settings-daemon/plugins/media-keys
KEYS_MUTTER_WAYLAND_RESTORE=/org/gnome/mutter/wayland/keybindings/restore-shortcuts
# Restore keyboard shortcuts to default
dconf reset /org/gnome/mutter/wayland/keybindings/restore-shortcuts
dconf reset ${KEYS_GNOME_WM}/minimize
dconf reset ${KEYS_GNOME_SHELL}/{open-application-menu,toggle-message-tray}
dconf reset ${KEYS_GNOME_WM}/{switch-to-workspace-{left,right},move-to-monitor-{up,down,left,right},move-to-workspace-{up,down,left,right}}
dconf reset ${KEYS_MUTTER}/toggle-tiled-{left,right}
dconf reset ${KEYS_GNOME_WM}/toggle-maximized
dconf reset ${KEYS_MEDIA}/{screensaver,home,email,www,rotate-video-lock-static}
dconf reset ${KEYS_GNOME_WM}/close
}