+++ /dev/null
-#!/usr/bin/rc
-## DOC: cran2deb update
-## DOC: update the cran2deb cache and database
-## DOC: cran2deb update full
-## DOC: force a full update of the cran2deb cache and database
-## DOC:
-
-umask 002
-root=$1
-shift
-sys=`{cran2deb which_system}
-mkdir -p /var/cache/cran2deb/results/$sys || exit 1
-update_period=10800
-if (~ $1 full || ![ -e /var/cache/cran2deb/cache.rda ] ) {
- delta=`{awk 'END{print '^$update_period^'+1}' </dev/null}
- echo Forcing cache update
-} else {
- delta=`{awk 'END{print '^`{date +%s}^-^`{stat -c '%Y' /var/cache/cran2deb/cache.rda}^'}' </dev/null}
- echo Cache is $delta seconds out of date.
-}
-if (![ -e /var/cache/cran2deb/cache.rda ] || [ $delta -gt $update_period ]) {
- mode=create
- if ([ -e /var/cache/pbuilder/base-cran2deb-$sys.tgz ]) {
- mode=update
- }
- echo C: sudo pbuilder $mode --override-config --configfile /etc/cran2deb/sys/$sys/pbuilderrc
- sudo pbuilder $mode --override-config --configfile /etc/cran2deb/sys/$sys/pbuilderrc
- $root/exec/update_cache $root
-}
-