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

[Lionel.g]

Le 14.02.19 à 14:15, Claude Paroz a écrit :
>
> Ouaip, ou alors:
>
> $ sudo -i
> # do-release-upgrade
>
> Comme ça le contenu de ./local du home perso ne devrait théoriquement 
> pas interférer.
>
> Claude

J'ai testé aussi cette solution: même résultats:

Vérification du gestionnaire de paquets
Lecture des listes de paquets… Terminé
Construction de l'arbre des dépendances
Lecture des informations d'état… Terminé
...(bla bla bla)...
Lecture des listes de paquets… Terminé
Construction de l'arbre des dépendances
Lecture des informations d'état… Terminé
Restauration du système dans son état d'origine
Annulation
Lecture des listes de paquets… Terminé
Construction de l'arbre des dépendances
Lecture des informations d'état… Terminé
=== Command detached from window (Thu Feb 14 16:15:32 2019) ===
=== Command terminated with exit status 1 (Thu Feb 14 16:15:42 2019) ===