diff options
author | Eric Wong <e@80x24.org> | 2019-10-17 08:19:11 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-10-17 08:19:11 +0000 |
commit | fece7fca6aeac74410a813cffcb0da338017d0ed (patch) | |
tree | dd8ebebc8ec82c65ff10723faeace03eb1152ca6 /lib/PublicInbox/WwwText.pm | |
parent | eb424226f3bc1d4a05d1b3900634fadb2ee2c140 (diff) | |
parent | 144eddbc7abaca320773dda514589a3198c8f58c (diff) | |
download | public-inbox-fece7fca6aeac74410a813cffcb0da338017d0ed.tar.gz |
* origin/inboxdir: config: remove redundant inboxdir check config: support "inboxdir" in addition to "mainrepo" examples/grok-pull.post_update_hook: use "inbox_dir"
Diffstat (limited to 'lib/PublicInbox/WwwText.pm')
-rw-r--r-- | lib/PublicInbox/WwwText.pm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/PublicInbox/WwwText.pm b/lib/PublicInbox/WwwText.pm index bcda665c..1c7b92bd 100644 --- a/lib/PublicInbox/WwwText.pm +++ b/lib/PublicInbox/WwwText.pm @@ -145,6 +145,9 @@ sub inbox_config ($$$) { ; see public-inbox-config(5) manpage for more details: ; https://public-inbox.org/public-inbox-config.html [publicinbox "$name"] + inboxdir = /path/to/top-level-inbox + ; note: public-inbox before v1.2.0 used "mainrepo" + ; instead of "inboxdir", both remain supported after 1.2 mainrepo = /path/to/top-level-inbox EOS for my $k (qw(address listid)) { |