oui exactement ce à quoi je pensais...
je ne pensais pas pas à quelque chose de si simple !
ça me semble barbare de juste changer la nomination dans le fichier de mise à jour mais en effet c'est tout con et très simple... presque évident...
Élodie si tu te sens :
des explications :
sans doute une petite sauvegarde du fichier source avant :
sudo cp /etc/apt/sources.list /etc/apt/sources.list.old
puis tu changes le fichier source
sudo sed -i 's/disco/focal/g' /etc/apt/sources.list
puis tu lances la mise à jour :
sudo apt update
sudo apt upgrade
