1 files changed, 15 insertions, 0 deletions
diff --git a/sandbox/meta/bin/update b/sandbox/meta/bin/update
new file mode 100755
index 00000000..9b2289ad
--- /dev/null
+++ b/sandbox/meta/bin/update
@@ -0,0 +1,15 @@
+#! /bin/sh
+set -euf
+
+cd $(dirname $(readlink -f $0))/../..
+id=`ls -lnd . | awk '{print$3}'`
+
+if test "${nosudo-false}" != true -a `id -u` != $id; then
+  echo "we're going sudo..." >&2
+  exec sudo -u "#$id" "$0" "$@"
+  exit 23 # go to hell
+fi
+
+echo "// is $PWD owned by $id"
+
+git pull