aboutsummaryrefslogtreecommitdiffstats
path: root/pullimap.md
diff options
context:
space:
mode:
authorGuilhem Moulin <guilhem@fripost.org>2016-03-11 20:57:24 +0100
committerGuilhem Moulin <guilhem@fripost.org>2016-03-11 20:57:24 +0100
commitf7becde978ab43cc5859a89d82aeb69521967a2d (patch)
tree638676720d012f2f821090474049008e6e43496d /pullimap.md
parentebd2e482e8b20816caada39022be92319f4aeef9 (diff)
wibble
Diffstat (limited to 'pullimap.md')
-rw-r--r--pullimap.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/pullimap.md b/pullimap.md
index 19279ca..b74456f 100644
--- a/pullimap.md
+++ b/pullimap.md
@@ -73,8 +73,8 @@ Options
Configuration file
==================
-Unless told otherwise by the `--config=FILE` option, `pullimap` reads
-its configuration from *$XDG_CONFIG_HOME/pullimap* (or
+Unless told otherwise by the `--config=FILE` command-line option,
+`pullimap` reads its configuration from *$XDG_CONFIG_HOME/pullimap* (or
*~/.config/pullimap* if the `XDG_CONFIG_HOME` environment variable is
unset) as an [INI file].
The syntax of the configuration file is a series of `OPTION=VALUE`