On Sunday, February 10, 2013, Samuel Sieb samuel@sieb.net wrote: > As an aside, when I first saw gnome-shell, I thought it would be horrible to use. But after a while of using it, finding gnome-tweak-tool, and installing a couple of extensions, I've been quite happy with it. I actually think it's more keyboard friendly than Gnome 2 was.
Somewhat funny that many users even don't know this tweak tool and ask everywhere about this......