Descobri a resposta - o cliente spotify não estava desconectando, causando um tempo limite. O fechamento manual do spotify resolveu o problema.
Meu computador Ubuntu 12.10 executando o shell Gnome ao invés de unidade, agora é muito lento para fazer logout ou reiniciar a partir do desktop. Ele reverte para o tema genérico do Ubuntu, e a tela fica fraca. Os programas ainda podem ser abertos no Docky, mas o Gnome Shell não responde. Após 30 segundos a 1 minuto, ele será desconectado ou reinicializado sem aviso. Aparentemente, nada está ocupando o sistema. Quando eu executo sudo reboot do terminal, ele apenas faz isso, com nada disso sendo dillydallying.
Descobri a resposta - o cliente spotify não estava desconectando, causando um tempo limite. O fechamento manual do spotify resolveu o problema.