mkdir -p /var/cache/cran2deb/results/$sys || exit 1
mini-dinstall --batch -c /etc/cran2deb/sys/$sys/mini-dinstall.conf || exit 1
update_period=10800
mkdir -p /var/cache/cran2deb/results/$sys || exit 1
mini-dinstall --batch -c /etc/cran2deb/sys/$sys/mini-dinstall.conf || exit 1
update_period=10800