Problemas de reinicio con GNOME-Shell

[Alejandro24]

Hola. Tengo un problema, bastante grave o curioso según se vea, con GNOME-Shell 3.4.2 en Linux Mint 13. Tenía trabajando el escritorio desde varios meses atrás, y ahora me ocurre algo nuevo: cuándo quiero reiniciarlo (Alt+F2+R o con una extensión que incluye esto en el menú), todo normal pero no vuelve a cargar nada. Cierro la sesión e intento entrar y no carga, simplemente no aparece la barra superior ni nada parecido. He intentado desinstalando y reinstalando completamente Shell, pero no funciona. Lo único que puedo hacer es desde Cinnamon borrar las extensiones y reiniciar Shell desde cero, y solo así funciona, pero tengo que volver a instalar las extensiones y algunas me piden reiniciar shell (y es cuando vuelve a ocurrir el problema). Además, no puedo decir que alguna extensión sea el problema, porque cuando corro gnome-shell --replace cualquier extensión suele tener un error cuando ya llevaba mucho tiempo usando dicha extensión.
Entonces, ¿cuál es el problema? ¿qué puedo hacer al respecto?

Saludos.