diff -r d54720d47ca2 -r 4059dbe9f26a as-if-by-ssh --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/as-if-by-ssh Thu Jun 05 16:53:57 2008 +0100 @@ -0,0 +1,10 @@ +#!/bin/sh +# Used only for break-ins + +set -e +SSH_ORIGINAL_COMMAND=$1 +echo "SSH_ORIGINAL_COMMAND=$SSH_ORIGINAL_COMMAND" >&2 +export SSH_ORIGINAL_COMMAND +cd +exec /etc/hg-admin-tools/hg-ssh-wrapper root +