He leido por ahí que en teoria la combinación de teclas Crtl+Alt+Barra espaciadora debería reiniciarme Gnome, pero no es así ¿Alguien sabe por qué?