I'm trying to change the number of workspaces on my Ubuntu 12.04 with Gnome from a terminal. It's easily done by right clicking on the workspaces preview in the panel, but I would like to be able to do it from a shell script.
My guess is to go through some gsettings org.gnome. command, but so far I've been unable to find the proper schema and associated key to do that.
Would anyone have a tip ?
Thanks in advance for the answers !