diff options
author | Eric Wong <e@80x24.org> | 2019-10-16 08:59:55 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-10-16 09:00:26 +0000 |
commit | 3c39f9c942a6975245fda878e9b957d8d3367662 (patch) | |
tree | 10c2ea542787ff08dae59ddd3f13f129ed63dd76 /examples/public-inbox-config | |
parent | 28264f7af4d9f4fab951f0613a0b08b6e98af7d3 (diff) | |
download | public-inbox-3c39f9c942a6975245fda878e9b957d8d3367662.tar.gz |
"mainrepo" ws a bad name and artifact from the early days when I intended for there to be a "spamrepo" (now just the ENV{PI_EMERGENCY} Maildir). With v2, "mainrepo" can be especially confusing, since v2 needs at least two git repositories (epoch + all.git) to function and we shouldn't confuse users by having them point to a git repository for v2. Much of our documentation already references "INBOX_DIR" for command-line arguments, so use "inboxdir" as the git-config(1)-friendly variant for that. "mainrepo" remains supported indefinitely for compatibility. Users may need to revert to old versions, or may be referring to old documentation and must not be forced to change config files to account for this change. So if you're using "mainrepo" today, I do NOT recommend changing it right away because other bugs can lurk. Link: https://public-inbox.org/meta/874l0ice8v.fsf@alyssa.is/
Diffstat (limited to 'examples/public-inbox-config')
-rw-r--r-- | examples/public-inbox-config | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/examples/public-inbox-config b/examples/public-inbox-config index 7fcbe0ba..ba06eec3 100644 --- a/examples/public-inbox-config +++ b/examples/public-inbox-config @@ -4,9 +4,11 @@ address = try@public-inbox.org address = sandbox@public-inbox.org address = test@public-inbox.org - mainrepo = /home/pi/test-main.git + ; note: "mainrepo" is the old name for "inboxdir", both + ; remain supported for backwards compatibility. + inboxdir = /home/pi/test-main.git url = http://example.com/test [publicinbox "meta"] address = meta@public-inbox.org - mainrepo = /home/pi/meta-main.git + inboxdir = /home/pi/meta-main.git url = http://example.com/meta |