Redémarrer le bureau Gnome sans fermer la session
Apuyer sur
Alt+F2
Entrer la commande
r
et appuyer sur
Enter
⇒ Le bureau GNOME redémarre