Eu tive que interromper do-release-upgrade
(depois de confirmar que ele ficou preso por um final de semana inteiro). Depois, cat /etc/os-release
indicou que o Ubuntu 8.10 já estava presente.
Para uma boa medida, eu abri um terminal virtual, emiti systemctl stop $(basename $(cat /etc/X11/default-display-manager))
e repeti do-release-upgrade
.
Depois de reboot
, a atualização agora parece completa.