summaryrefslogtreecommitdiff
path: root/man/man1
diff options
context:
space:
mode:
authorJameson Graef Rollins <jrollins@phys.columbia.edu>2008-07-26 13:24:00 -0700
committerJameson Graef Rollins <jrollins@phys.columbia.edu>2008-07-26 13:24:00 -0700
commit8c8d5414f07e1c411f824d60fbfaaf545e91749a (patch)
tree82e8d020fbbfc2dbef769a194a384ebf96a0e246 /man/man1
parent06d2c5d793e2de2eff92b751c7076ffa32fb27f2 (diff)
small tweaks and FIXME fixes to documentation.
Diffstat (limited to 'man/man1')
-rw-r--r--man/man1/monkeysphere-ssh-proxycommand.114
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