télécharger un fichier à partir d'une source web, de manière sélective

La tâche principale du script est de déterminer lequel de ces liens il doit utiliser. wget . L'analyse des pages web est vraiment compliquée. Je ne recommanderais pas à bash pour cela !

Python est facile à écrire en comparaison et dispose d'une bibliothèque d'analyse HTML robuste appelée Une belle soupe .

Une fois que le lien a été modifié, le téléchargement est trivial.

Il m'a fallu du temps pour trouver la solution, mais la voici ;)

-c , au cas où vous voudriez vous arrêter et recommencer là où vous vous êtes arrêté

-r -A " -R[0-9].0 " ne récupère que les fichiers qui ont au milieu -Rx.0 et x appartenant à {0,1,...9}

-np , signifie qu'il n'y a pas de répertoires parents (va de pair avec l'option -r)

-nd , signifie pas de répertoire

-e robots=off , désactive les robots

Dans votre cas, vous feriez donc quelque chose comme

wget -c -e robots=off -r -np -nd -A "*-R[0-9].0*" http://repo.bukkit.org/content/groups/public/org/bukkit/craftbukkit/

Je n'arrive pas à l'obtenir sur le site que vous avez indiqué, mais je pense qu'il redirige les choses ici.