diff options
author | Eric S. Raymond <esr@thyrsus.com> | 1997-01-14 22:28:16 +0000 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 1997-01-14 22:28:16 +0000 |
commit | 70dcc659b0d246e0fd2879d06400c287b8638f42 (patch) | |
tree | 8284d6e99ce5457ed5de92461b35d6609a1d1e1b /fetchmail.man | |
parent | 7b9142f1429d1dd50efa2251239de70a66e82c3c (diff) | |
download | fetchmail-70dcc659b0d246e0fd2879d06400c287b8638f42.tar.gz fetchmail-70dcc659b0d246e0fd2879d06400c287b8638f42.tar.bz2 fetchmail-70dcc659b0d246e0fd2879d06400c287b8638f42.zip |
Change `interface' and `monitor' options to per-server.
svn path=/trunk/; revision=762
Diffstat (limited to 'fetchmail.man')
-rw-r--r-- | fetchmail.man | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/fetchmail.man b/fetchmail.man index 0460dc8a..db92a7a0 100644 --- a/fetchmail.man +++ b/fetchmail.man @@ -544,6 +544,8 @@ Legal server options are: timeout envelope aka + interface + monitor Legal user options are @@ -650,13 +652,11 @@ or reverse it by saying `user esr here is eric there' .PP For backward compatibility, the word `server' is a synonym for `poll'. .PP -There are currently four valid global option statements; -\&`set batchlimit = ' followed by a number and sets the same global -specified by the --batchlimit option, `set logfile = ' followed by a -string sets the same global specified by --logfile, `set interface = ' -followed by a string sets the same global specified by --interface, and -`set monitor = ' followed by a string sets the same global specified by ---monitor. In all cases, a command-line option will override. +There are currently two valid global option statements; \&`set +batchlimit = ' followed by a number and sets the same global specified +by the --batchlimit option, and `set logfile = ' followed by a string +sets the same global specified by --logfile. In both cases, a +command-line option will override. .PP Basic format is: |