¡Lo conseguí!

Bueno, sé que esto no le va a importar a nadie, pero estoy contento porque llevaba un par de días con ello y no le encontraba la solución. Resulta que en la Ubuntu que tengo en el portátil el driver la tarjeta gráfica no funcionaba correctamente e iba a una resolución espantosa. Pues nada, después de una semana y media, he dado con la solución (bueno, realmente lo han hecho otros y yo he seguido sus instrucciones) y para celebrarlo publico este post. Me había propuesto no acostarme hasta resolverlo y, por suerte para mí, no ha sido tan tarde.

Así que no me queda nada más por hacer hoy.

Buenas noches.

PD: antes o después se tenía que notar mi frikez informática. Pero creedme, lo que he hecho es algo necesario para no dejarme los ojos.