diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/rumba-access | 10 | 
1 files changed, 6 insertions, 4 deletions
diff --git a/tools/rumba-access b/tools/rumba-access index 4c77d2b..e4ab468 100755 --- a/tools/rumba-access +++ b/tools/rumba-access @@ -32,10 +32,12 @@ if [ "$PROXY_CMD" == "" ]; then  	exit 255  fi -echo "Accessing Rumba node ${MACHINE_ID}" -# -o IdentityFile=buildroot/irati_rsa  if [[ $PROXY_CMD = "None" ]]; then -    ssh -A -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -p ${SSH_PORT} ${USER}@${HOST} +    PROXY_CMD=""  else -    ssh -A -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -oProxyCommand="$PROXY_CMD" -p ${SSH_PORT} ${USER}@${HOST} +    PROXY_CMD="-oProxyCommand=$PROXY_CMD"  fi + +echo "Accessing Rumba node ${MACHINE_ID}" +# -o IdentityFile=buildroot/irati_rsa +ssh -A -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null ${PROXY_CMD} -p ${SSH_PORT} ${USER}@${HOST}  | 
