| Index: remote_access.sh
|
| diff --git a/remote_access.sh b/remote_access.sh
|
| index fe4383c27c0d7bd2b3068db6388bdd8c2b23d6b1..f34f30b0b6640ebb86c088a9abb2db68ceb6cb10 100644
|
| --- a/remote_access.sh
|
| +++ b/remote_access.sh
|
| @@ -10,6 +10,8 @@ ssh_keys/testing_rsa"
|
| DEFINE_string remote "" "remote hostname/IP of running Chromium OS instance"
|
| DEFINE_string private_key "$DEFAULT_PRIVATE_KEY" \
|
| "Private key of root account on remote host"
|
| +DEFINE_integer ssh_port 22 \
|
| + "SSH port of the remote machine running Chromium OS instance"
|
|
|
| # Copies $1 to $2 on remote host
|
| function remote_cp() {
|
| @@ -19,7 +21,7 @@ function remote_cp() {
|
| }
|
|
|
| function remote_sh() {
|
| - REMOTE_OUT=$(ssh -o StrictHostKeyChecking=no -o \
|
| + REMOTE_OUT=$(ssh -p ${FLAGS_ssh_port} -o StrictHostKeyChecking=no -o \
|
| UserKnownHostsFile=$TMP_KNOWN_HOSTS root@$FLAGS_remote "$@")
|
| return ${PIPESTATUS[0]}
|
| }
|
|
|