2 ## DOC: cran2deb update
3 ## DOC: update the cran2deb cache and database
4 ## DOC: cran2deb update full
5 ## DOC: force a full update of the cran2deb cache and database
11 sys=`{cran2deb which_sys}
12 mkdir -p /var/cache/cran2deb/results/$sys || exit 1
13 mini-dinstall --batch -c /etc/cran2deb/sys/$sys/mini-dinstall.conf || exit 1
15 if (~ $1 full || ![ -e /var/cache/cran2deb/cache.rda ] ) {
16 delta=`{awk 'END{print '^$update_period^'+1}' </dev/null}
17 echo Forcing cache update
19 delta=`{awk 'END{print '^`{date +%s}^-^`{stat -c '%Y' /var/cache/cran2deb/cache.rda}^'}' </dev/null}
20 echo Cache is $delta seconds out of date.
22 if (![ -e /var/cache/cran2deb/cache.rda ] || [ $delta -gt $update_period ]) {
24 if ([ -e /var/cache/pbuilder/base-cran2deb-$sys.tgz ]) {
27 sudo pbuilder $mode --override-config --configfile /etc/cran2deb/pbuilderrc
28 $root/exec/update_cache $root