diff options
| author | Jameson Graef Rollins <jrollins@phys.columbia.edu> | 2008-06-30 07:11:34 -0400 |
|---|---|---|
| committer | Jameson Graef Rollins <jrollins@phys.columbia.edu> | 2008-06-30 07:11:34 -0400 |
| commit | f5409b72c5635ff77c2cd49422206b14b2827893 (patch) | |
| tree | d5ed23e7653d4053325694a2aec76d4cd880e7d2 /src | |
| parent | 0eed0d2cdc73628f731fd0219d5eacc24158bafd (diff) | |
Update man pages. Small tweak to proxycommand.
Diffstat (limited to 'src')
| -rwxr-xr-x | src/monkeysphere-ssh-proxycommand | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/monkeysphere-ssh-proxycommand b/src/monkeysphere-ssh-proxycommand index 6dcb723..15153d8 100755 --- a/src/monkeysphere-ssh-proxycommand +++ b/src/monkeysphere-ssh-proxycommand @@ -39,21 +39,20 @@ if [ -z "$HOST" ] ; then exit 1 fi if [ -z "$PORT" ] ; then - log "port must be specified." - usage - exit 1 + PORT=22 fi # set the host URI URI="ssh://${HOST}" if [ "$PORT" != '22' ] ; then - URI="${URI}:$PORT" + URI="${URI}:${PORT}" fi # if the host is in the gpg keyring... if gpg --list-key ="${URI}" 2>&1 >/dev/null ; then # do not check the keyserver CHECK_KEYSERVER="false" + # if the host is NOT in the keyring... else # if the host key is found in the known_hosts file... |