Existe-t-il un moyen simple de conserver un dossier synchronisé avec une liste de répertoires via HTTP?
Modifier :
Merci pour l'astuce avec wget! J'ai créé un script shell et l'ai ajouté en tant que tâche cron:
remote_dirs=( "http://example.com/" "…") # Add your remote HTTP directories here
local_dirs=( "~/examplecom" "…")
for (( i = 0 ; i < ${#local_dirs[@]} ; i++ )) do
cd "${local_dirs[$i]}"
wget -r -l1 --no-parent -A "*.pdf" -nd -nc ${remote_dirs[$i]}
done
# Explanation:
# -r to download recursively
# -l1 to include only one directory depth
# --no-parent to exclude parent directories
# -A "*.pdf" to accept only .pdf files
# -nd to prevent wget to create directories for everything
# -N to make wget to download only new files
Edit 2:
Comme mentionné ci-dessous, on pourrait également utiliser --mirror
( -m
), qui est le raccourci pour -r -N
.