summaryrefslogtreecommitdiff
path: root/man/man1
diff options
context:
space:
mode:
authorJameson Graef Rollins <jrollins@phys.columbia.edu>2008-09-02 16:57:22 -0700
committerJameson Graef Rollins <jrollins@phys.columbia.edu>2008-09-02 16:57:22 -0700
commitca7568cbe62bef653cf39106248cddd0a4b1296f (patch)
treeb22e1652380895dfe5c310fed347ec2b600f7dd5 /man/man1
parent7dab6df00804017844dab244f11e72cc73199fd8 (diff)
tweaks to the man pages.
Diffstat (limited to 'man/man1')
-rw-r--r--man/man1/monkeysphere-ssh-proxycommand.12
-rw-r--r--man/man1/monkeysphere.14
2 files changed, 3 insertions, 3 deletions
diff --git a/man/man1/monkeysphere-ssh-proxycommand.1 b/man/man1/monkeysphere-ssh-proxycommand.1
index 9aad232..41b2e40 100644
--- a/man/man1/monkeysphere-ssh-proxycommand.1
+++ b/man/man1/monkeysphere-ssh-proxycommand.1
@@ -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 a 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
diff --git a/man/man1/monkeysphere.1 b/man/man1/monkeysphere.1
index 5ed2153..b0c896f 100644
--- a/man/man1/monkeysphere.1
+++ b/man/man1/monkeysphere.1
@@ -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).