[Trisquel-users] Re : How do you use Gnome Shell?

[magicbanana]

In the "system settings", you will find the "keyboard" settings. The second  
tab lists the "key-bindings". The ones to navigate among the workspaces are  
in the "navigation" category.

Notice that I translated the terms I put between quotation marks from French:  
the actual English terminology may be slightly different.