From db0f8ca3603c89a610b61b1b673fdf45215a9b53 Mon Sep 17 00:00:00 2001
From: Peter Palfrader <peter@palfrader.org>
Date: Fri, 13 Mar 2009 00:31:36 +0100
Subject: [PATCH] make updating optional too

---
 bin/update-wiki | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/bin/update-wiki b/bin/update-wiki
index f4578dd..feb93d8 100755
--- a/bin/update-wiki
+++ b/bin/update-wiki
@@ -6,8 +6,11 @@ umask 0002
 WC="/org/dsa.debian.org/dsa-wiki"
 DEST="/org/dsa.debian.org/htdocs"
 URL="http://dsa.debian.org/"
+UPDATE=1
 
-cd "$WC" && env -i git pull
+! [ -e "$HOME/.dsa-wiki-local" ] || . "$HOME/.dsa-wiki-local"
+
+[ "$UPDATE" != 1 ] || ( cd "$WC" && env -i git pull )
 
 env -i ikiwiki \
 	--timeformat '%F' \
-- 
2.20.1