In genere è sufficiente usare la combinazione di tasti
Ctrl+alt+Backspace
ma se questa dovesse essere per qualche motivo disabilitata, basta aprire il terminale ed eseguire:
sudo etc/init.d/gdm restart
Ricordiamo che gdm è il comando per l’esecuzione del programma gdm (Gnome Display Manager), che si occupa del login e del caricamento del desktop selezionato, che può anche essere diverso da Gnome.
Per KDE, invece, c’è kdm (KDE Display Manager).
