Reiniciar Gnome-Shell sin cerrar sesión.

Se puede hacer de dos formas:

Opción A:

ALT + F2, escribimos la letra r y pulsamos INTRO

Opción B:

En una terminal escribir:

gnome-shell -r


Fácil, verdad?