A parte sudo apt-get install nvidia-prime
da resposta vinculada instalou um driver de vídeo incompatível.
Eu resolvi isso por:
- inicializando nas opções avançadas do menu do grub,
- selecionando a primeira opção do modo de recuperação,
- selecionando a opção de início de rede,
- selecionando o prompt de comando como opção raiz
No prompt de comando, digitei apt-get install nvidia-current
e instalado drivers nvidia compatíveis.
Esta solução, ou similar para diferentes placas de vídeo, pode ajudar outras pessoas com problemas de driver de vídeo.