télécharger une image iso debian à l'aide d'un script shell

[Bernard Schoenacker <bernard.schoenacker@free.fr>]

Bonjour,

je recherche à figer un script qui facilite le
téléchargement d'une image iso à partir
d'un miroir, voici la base qui serait 
à amender :

sudo apt install -y pv curl unhtml

mkdir -p ~/Images-Iso

for i in SHA512SUMS  $(curl  http://ftp.iut-bm.univ-fcomte.fr/debian-cd/current/amd64/iso-cd/  |unhtml |tail -8 | sed -e 's/iso/iso  /g' | awk '/xfce/ {print $1}')                  
do
wget -c -O ~/Images-Iso/$i http://ftp.iut-bm.univ-fcomte.fr/debian-cd/amd64/iso-cd/$i
done
grep xfce ~/Images-Iso/SHA512SUMS > ~/Images-Iso/$i.sha512                               
sha512sum ~/Images-Iso/$i |tee ~/Images-Iso/$i.sha512                                                     
cat ~/Images-Iso/$i.sha512 

mon souhait serait d'améliorer pour vérifier la 
disponibilité du miroir

Merci pour votre aimable attention

Bien à vous

Bernard