update_mirrors.sh

#!/usr/bin/env bash

local_storage="/home/pf/work/tmp/mirrors"

mirrors="\
	ck;http://ck.kolivas.org;patches/ \
	bfq;http://algo.ing.unimo.it;people/paolo/disk_sched/patches/ \
	"

for mirror in $mirrors
do
	mirror_name=$(echo $mirror | cut -d ';' -f 1)
	mirror_site=$(echo $mirror | cut -d ';' -f 2)
	mirror_path=$(echo $mirror | cut -d ';' -f 3)
	mirror_path_hops=$(echo $mirror_path | grep -o "/" | wc -l)

	mkdir -p "$local_storage/$mirror_name"
	wget -r -np -nH --cut-dirs=$mirror_path_hops -N -R *.html* --directory-prefix="$local_storage/$mirror_name" $mirror_site/$mirror_path
	find "$local_storage/$mirror_name" -type d -empty -delete
done