bin/run-mirrors: Use sudo to change user.

The mirror user's home is elsewhere on vampire, so userv doesn't work as
well.

diff --git a/bin/run-mirrors b/bin/run-mirrors
index 1dc0a14..1dffeec 100755 (executable)
--- 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.