[gull] Mise à niveau vers Ubuntu 18.04 échoue à chaque tentative

[Grégoire Métral]

Le 14.02.19 à 10:43, Lionel.g a écrit :
> Je tente de mettre à niveau mon OS Ubuntu 16.04 vers la version 18.04
> comme me le propose le gestionnaire de mise à jour après chaque mise à
> jour "ordinaire"

As-tu essayé en ligne de commande?

    sudo do-release-upgrade

Chez moi, ça avait bien passé, de 16.04 LTS à 18.04 LTS.

Greg