diff options
author | Eric Wong <e@80x24.org> | 2022-11-28 05:31:33 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2022-11-28 23:38:55 +0000 |
commit | fa7736f23e708f2edeaae33d9ce91135cbc095e3 (patch) | |
tree | c7c9e6b374fa63c48ce26012e3e4dce3af002ff4 /script | |
parent | d604845055e3b0096024fd98b993a485a72653cd (diff) | |
download | public-inbox-fa7736f23e708f2edeaae33d9ce91135cbc095e3.tar.gz |
This is part of `lei add-external --mirror', and it makes sense to have for development and testing. We'll also add a fallback in case somebody tries --inbox-version and fails due to a newer remote instances of public-inbox.
Diffstat (limited to 'script')
-rwxr-xr-x | script/public-inbox-clone | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/public-inbox-clone b/script/public-inbox-clone index 3d980c97..2900f232 100755 --- a/script/public-inbox-clone +++ b/script/public-inbox-clone @@ -23,7 +23,7 @@ options: -C DIR chdir to specified directory EOF GetOptions($opt, qw(help|h quiet|q verbose|v+ C=s@ c=s@ include|I=s@ exclude=s@ - inbox-config=s + inbox-config=s inbox-version=i dry-run|n jobs|j=i no-torsocks torsocks=s epoch=s)) or die $help; if ($opt->{help}) { print $help; exit }; require PublicInbox::Admin; # loads Config |