diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2019-01-20 19:55:33 +0100 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2019-01-20 21:33:36 +0100 |
| commit | dd7edb8eac0c11fb8168f5028c8b6d8706cc8fdb (patch) | |
| tree | a2599b35d5b114d2ae73a8d81a9d439bb1636170 /pullimap.md | |
| parent | 5358f99ab2a67120de7dc67159e6d2fa26d5f026 (diff) | |
pullimap, interimap: Use $XDG_CONFIG_HOME/$NAME/config as config file.
Diffstat (limited to 'pullimap.md')
| -rw-r--r-- | pullimap.md | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/pullimap.md b/pullimap.md index 06035ac..eac8efa 100644 --- a/pullimap.md +++ b/pullimap.md @@ -32,8 +32,8 @@ Options `--config=`*FILE* : Specify an alternate [configuration file](#configuration-file). - Relative paths start from *$XDG_CONFIG_HOME*, or *~/.config* if the - `XDG_CONFIG_HOME` environment variable is unset. + Relative paths start from *$XDG_CONFIG_HOME/pullimap*, or *~/.config/pullimap* + if the `XDG_CONFIG_HOME` environment variable is unset. `--idle`[`=`*seconds*] @@ -74,9 +74,9 @@ Configuration file ================== 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]. +`pullimap` reads its configuration from *$XDG_CONFIG_HOME/pullimap/config* +(or *~/.config/pullimap/config* 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` lines organized under some `[SECTION]`; lines starting with a ‘#’ or ‘;’ character are ignored as comments. |