From 6a18cc832e681f57432137a5750efa4f7302b085 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Tue, 16 Aug 2011 10:20:56 +0100
Subject: [PATCH] bin/run-mirrors: Use sudo to change user.

The mirror user's home is elsewhere on vampire, so userv doesn't work as
well.
---
 bin/run-mirrors | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/run-mirrors b/bin/run-mirrors
index 1dc0a14..1dffeec 100755
--- a/bin/run-mirrors
+++ b/bin/run-mirrors
@@ -5,7 +5,7 @@ set -e
 ## Make sure we're running as the right user.
 case $(id -un) in
   mirror) ;;
-  *) exec userv -fstdin=/dev/null mirror run ;;
+  *) exec sudo -umirror "$0" "$@" ;;
 esac
 
 ## Set up a plausible environment.
-- 
2.11.0