Alternare con la tastiera i workspace del desktop in Gnome
Ogni tanto torno su questioni relative all’uso della tastiera per effettuare operazioni che spesso, anzi normalmente, in un ambiente grafico si realizzano con il mouse. Resto però dell’idea che tante volte -avendo già le mani sulla tastiera- sia più comodo continuare a tenerle lì e quindi operare con i tasti. Oggi la mia attenzione si rivolge a Linux, all’ambiente grafico Gnome e al modo per passare da un dektop all’altro, ovvero i workspace.