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).
efficiently
?