tweaks to the man pages.
authorJameson Graef Rollins <jrollins@phys.columbia.edu>
Tue, 2 Sep 2008 23:57:22 +0000 (16:57 -0700)
committerJameson Graef Rollins <jrollins@phys.columbia.edu>
Tue, 2 Sep 2008 23:57:22 +0000 (16:57 -0700)
man/man1/monkeysphere-ssh-proxycommand.1
man/man1/monkeysphere.1
man/man8/monkeysphere-server.8

index 9aad23205de7a01161c4941449f0ba2c02f56232..41b2e40db5c38f0da2f56d52bd34b96f5d4ea60e 100644 (file)
@@ -37,7 +37,7 @@ connection to the host itself.
 .SH KEYSERVER CHECKING
 
 The proxy command has a fairly nuanced policy for when keyservers are
-queried when processing host.  If the host userID is not found in
+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
index 5ed2153bcd195ed3ae8a31359107cac4c8da156d..b0c896f0ee54c99e5934758cfa3442761c2b8a5d 100644 (file)
@@ -84,8 +84,8 @@ The following environment variables will override those specified in
 the monkeysphere.conf configuration file (defaults in parentheses):
 .TP
 MONKEYSPHERE_LOG_LEVEL
-Set the log level.  Can be SILENT, ERROR, INFO, VERBOSE, DEBUG, in
-increasing order of verbosity.
+Set the log level (INFO).  Can be SILENT, ERROR, INFO, VERBOSE, DEBUG,
+in increasing order of verbosity.
 .TP
 MONKEYSPHERE_GNUPGHOME, GNUPGHOME
 GnuPG home directory (~/.gnupg).
index 484862500f3cf341bc7f1a77c117375227496f97..25dfac7892ca0a6689c5f80ee32fac24f2567c2e 100644 (file)
@@ -183,7 +183,7 @@ the monkeysphere-server.conf configuration file (defaults in
 parentheses):
 .TP
 MONKEYSPHERE_LOG_LEVEL
-Set the log level.  Can be SILENT, ERROR, INFO, VERBOSE, DEBUG, in
+Set the log level (INFO).  Can be SILENT, ERROR, INFO, VERBOSE, DEBUG, in
 increasing order of verbosity.
 .TP
 MONKEYSPHERE_KEYSERVER