Ben ook maar eens aant stoeien gegaan met de gnome shell. Vind het wel handig op sommige dingen maar aan de andere kant kan je er zelf weinig aan aanpassen, de menu style, of ik zie wat over het hoofd natuurlijk.
Heb trouwens op m'n bureaublad een aantal starters gezet zodat ik niet steeds met een open terminal zit, te weten:
Gnome shell met het commando: gnome-shell --replace
Return to Gnome: metacity --replace
Restart Gnome panel: gnome-panel
Dat raadt ik iedereen aan, als je opeens zonder paneel zit, werkt alt+F2 ook niet meer voor mij.
Hier een shotje.
