Bueno, he actualizado mi Ubuntu. No podía resistirme, y lo he hecho a la manera “dirty”, es decir, actualizando desde el gestor de actualizaciones y rezando.
Aunque actualizar “clean”, es decir, borrar y volver a instalar, es muy sencillo, ya que hay hasta scripts para hacerlo automáticamente (básicamente guardar el Home y algún fichero del directorio [...]