#!/bin/sh
# bv v1.0.1  (c) 15.6.98 by Andreas Ley  (u) 18.1.2012
# Misc. bv commands

cmd="`basename \"$0\"`"
remote="bvadm@bv.rz.uni-karlsruhe.de"

ssh="/usr/bin/ssh -1"
test -x "/usr/bin/ssh" || ssh="/usr/machine/bin/ssh1"

# We really want to authenticate with the cmd-specific identity
# and not with some ssh-agent-provided credentials
unset SSH_AUTH_SOCK
unset SSH2_AUTH_SOCK

exec ${ssh} -n -a -k -x -i "${HOME}/.ssh/identity-${cmd}" "${remote}" ${1+"$@"}