Este post surge mais como uma “note-to-self”, e para quem tenha a mesma dificuldade que eu tive nas últimas horas e é dirigido a quem utiliza o Ubuntu 12.10.
Caso estejam com dificuldades nos vossos drivers gráficos (resolução errada, janelas sem bordas, ecrãs que piscam, you name it), terão que executar os seguintes comandos na consola:
sudo apt-get install linux-source
sudo apt-get install linux-headers-3.5.0-17-generic
sudo apt-get install nvidia-current-updates
Deverão executar estes comandos por esta mesma ordem. Isto é necessário, porque existe um bug com o Instalador de Drivers do sistema, que – ainda – não foi corrigido.
Agora finalmente já posso usufruir da nova versão do Ubuntu 12.10, depois de um update mal sucedido.