diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2016-03-11 20:57:24 +0100 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2016-03-11 20:57:24 +0100 |
commit | f7becde978ab43cc5859a89d82aeb69521967a2d (patch) | |
tree | 638676720d012f2f821090474049008e6e43496d /pullimap.md | |
parent | ebd2e482e8b20816caada39022be92319f4aeef9 (diff) |
wibble
Diffstat (limited to 'pullimap.md')
-rw-r--r-- | pullimap.md | 4 |
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` |