diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/rumba-access | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/rumba-access b/tools/rumba-access index e4ab468..075caf0 100755 --- a/tools/rumba-access +++ b/tools/rumba-access @@ -34,10 +34,11 @@ fi if [[ $PROXY_CMD = "None" ]]; then PROXY_CMD="" + PROXY_PREF="" else - PROXY_CMD="-oProxyCommand=$PROXY_CMD" + PROXY_PREF="-oProxyCommand=" 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} +ssh -A -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null ${PROXY_PREF}"${PROXY_CMD}" -p ${SSH_PORT} ${USER}@${HOST} |