— upgrade 17.10 vers 18.04.3 LTS
cat /etc/apt/sources.list
cat /etc/issue
uname -a
echo "${XDG_CURRENT_DESKTOP}"
find /etc/apt -name '*.list' -exec bash -c 'echo -e "\n$1\n"; nl -ba "$1"' _ '{}' \;
sudo apt-get update
sudo apt-get dist-upgrade
sudo apt-get update
sudo apt install -f
dpkg --get-selections | grep 'hold$'
find /etc/apt -type f -name '*.list*' -exec bash -c 'echo -e "\n$1\n"; nl -ba "$1"' _ '{}' \;
sudo do-release-upgrade
La procédure est assez longue, patience.