1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
post_install() {
echo "POP-shell configuration"
cd /usr/share/gnome-shell/extensions/pop-shell@system76.com/scripts
./configure.sh
}
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
}
|