Using GNOME here, I want to switch between different workspaces more efficiently -- by this I mean, suppose I am on
workspace #1 and I want to switch to
workspace #3 ... how do I that efficiently? The technique I follow is by pressing
Ctrl + Left Arrow twice, which is highly unproductive.
I am guessing there is a better way and hopefully without installing an external software (on Debian).