add pop-shell.install

pop-shell.install

@@ -0,0 +1,32 @@
+
+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
+}