Le 28/10/2018 à 06:24, Olaf Meeuwissen a écrit :

>    sed -i 's/ascii/ceres/' /etc/apt/source.list
>    apt update
>    apt upgrade

    Hi Olaf.

    Do you for sure mean 'apt upgrade' ? Because I would have thought
of  'apt dist-upgrade'.

           Didier