diff options
Diffstat (limited to 'pullimap.md')
| -rw-r--r-- | pullimap.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pullimap.md b/pullimap.md index 5251706..19279ca 100644 --- a/pullimap.md +++ b/pullimap.md @@ -24,16 +24,16 @@ A *statefile* is used to keep track of the mailbox's `UIDVALIDITY` and `UIDNEXT` values. While `pullimap` is running, the *statefile* is also used to keep track of UIDs being delivered, which avoids duplicate deliveries in case the process is interrupted. -See the **[control flow]** section below for details. +See the **[control flow](#control-flow)** section below for details. Options ======= `--config=`*FILE* -: Specify an alternate [configuration file]. Relative paths start - from *$XDG_CONFIG_HOME*, or *~/.config* if the `XDG_CONFIG_HOME` - environment variable is unset. +: 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. `--idle`[`=`*seconds*] |