diff options
author | Jameson Graef Rollins <jrollins@phys.columbia.edu> | 2008-07-26 13:24:00 -0700 |
---|---|---|
committer | Jameson Graef Rollins <jrollins@phys.columbia.edu> | 2008-07-26 13:24:00 -0700 |
commit | 8c8d5414f07e1c411f824d60fbfaaf545e91749a (patch) | |
tree | 82e8d020fbbfc2dbef769a194a384ebf96a0e246 /man/man1 | |
parent | 06d2c5d793e2de2eff92b751c7076ffa32fb27f2 (diff) |
small tweaks and FIXME fixes to documentation.
Diffstat (limited to 'man/man1')
-rw-r--r-- | man/man1/monkeysphere-ssh-proxycommand.1 | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/man/man1/monkeysphere-ssh-proxycommand.1 b/man/man1/monkeysphere-ssh-proxycommand.1 index 5a84dc5..9aad232 100644 --- a/man/man1/monkeysphere-ssh-proxycommand.1 +++ b/man/man1/monkeysphere-ssh-proxycommand.1 @@ -41,13 +41,13 @@ queried when processing host. If the host userID is not found in either the user's keyring or in the known_hosts file, then the keyserver is queried for the host userID. If the host userID is found in the user's keyring, then the keyserver is not checked. This -assumes that the keyring is kept up-to-date, in a cron job or the -like, so that revocations are properly handled. If the host userID is -not found in the user's keyring, but the host is listed in the -known_hosts file, then the keyserver is not checked. This last policy -might change in the future, possibly by adding a deferred check, so -that hosts that go from non-monkeysphere-enabled to -monkeysphere-enabled will be properly checked. +assumes that the keyring is kept up-to-date, in a cronjob or the like, +so that revocations are properly handled. If the host userID is not +found in the user's keyring, but the host is listed in the known_hosts +file, then the keyserver is not checked. This last policy might +change in the future, possibly by adding a deferred check, so that +hosts that go from non-monkeysphere-enabled to monkeysphere-enabled +will be properly checked. .SH ENVIRONMENT VARIABLES |