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

[Claude Paroz]

Le 14.02.19 à 16:17, Lionel.g a écrit :
> 
> 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:
(...)

J'ai vu qu'il existait une variable d'environnement pour augmenter les 
messages de sortie:

# DEBUG_UPDATE_MANAGER="Y" do-release-upgrade

Avec l'espoir d'avoir plus d'infos sur l'erreur...

Claude
-- 
www.2xlibre.net