diff -r d54720d47ca2 -r 4059dbe9f26a ssh-replacement --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/ssh-replacement Thu Jun 05 16:53:57 2008 +0100 @@ -0,0 +1,7 @@ +#!/bin/sh +# Used only for break-ins + +echo "arg: $2" >&2 + +exec sudo -H -u hg /usr/local/lib/hg-admin-tools/as-if-by-ssh "$2" +