Hmm. Tweaking Gnome is kinda easy.
---
#!/usr/bin/env bash
# disable unnecessary dock app launch shortcuts
for i in {1..9}; do gsettings set org.gnome.shell.keybindings switch-to-application-$i "[]"; done
# switch to
for i in $(seq 1 9); do dconf write /org/gnome/desktop/wm/keybindings/switch-to-workspace-$i "['<Super>$i']"; done
# move window to
for i in $(seq 1 9); do dconf write /org/gnome/desktop/wm/keybindings/move-to-workspace-$i "['<Super><Shift>$i']"; done
---
and we have good old Meta-Number for switch workspace and Meta-Shift-Number to move window to that space
![]()