]> git.donarmstrong.com Git - cran2deb.git/blobdiff - branch/patch/exec/update
Merged branch/patch into trunk
[cran2deb.git] / branch / patch / exec / update
diff --git a/branch/patch/exec/update b/branch/patch/exec/update
deleted file mode 100755 (executable)
index 7bcc78f..0000000
+++ /dev/null
@@ -1,29 +0,0 @@
-#!/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
-mkdir -p /var/cache/cran2deb/results || exit 1
-mini-dinstall --batch -c /etc/cran2deb/mini-dinstall.conf || 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.tgz ]) {
-        mode=update
-    }
-    sudo pbuilder $mode --override-config --configfile /etc/cran2deb/pbuilderrc
-    $root/exec/update_cache $root
-}
-