about summary refs log tree commit homepage
path: root/examples/public-inbox-config
diff options
context:
space:
mode:
authorEric Wong <e@80x24.org>2019-10-16 08:59:55 +0000
committerEric Wong <e@80x24.org>2019-10-16 09:00:26 +0000
commit3c39f9c942a6975245fda878e9b957d8d3367662 (patch)
tree10c2ea542787ff08dae59ddd3f13f129ed63dd76 /examples/public-inbox-config
parent28264f7af4d9f4fab951f0613a0b08b6e98af7d3 (diff)
downloadpublic-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-config6
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