gnome-shell-extension-switchworkspace

Switch workspace like using ALT+TAB key to switch windows.

• Default shortcut key to switch workspace is Ctrl+Above_Tab .

Install

• Clone repo to local folder

make install

restart system

Install from extensions.gnome.org

https://extensions.gnome.org/extension/1231/switch-workspace/