diff options
author | Eric Wong <e@80x24.org> | 2022-11-28 05:32:31 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2022-11-28 23:39:00 +0000 |
commit | 556fb7af0e43c1183933d6afe451eb81296b802c (patch) | |
tree | 6629550e8a9502b4fc4c91d6cfa28a563a10c8f6 /script | |
parent | af4e0589aa6e29baadf9afd382c6da698395ec8e (diff) | |
download | public-inbox-556fb7af0e43c1183933d6afe451eb81296b802c.tar.gz |
grokmirror supports it, and we also support cgit, so this should make running mirrors easier. This will be useful for scripting purposes, too.
Diffstat (limited to 'script')
-rwxr-xr-x | script/public-inbox-clone | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/script/public-inbox-clone b/script/public-inbox-clone index efe0cff6..677c56c8 100755 --- a/script/public-inbox-clone +++ b/script/public-inbox-clone @@ -22,8 +22,12 @@ options: --quiet | -q increase verbosity (may be repeated) -C DIR chdir to specified directory EOF + +# cgit calls it `project-list', grokmirror calls it `projectslist', +# support both :/ GetOptions($opt, qw(help|h quiet|q verbose|v+ C=s@ c=s@ include|I=s@ exclude=s@ inbox-config=s inbox-version=i objstore=s manifest=s + project-list|projectslist=s prune|p keep-going|k dry-run|n jobs|j=i no-torsocks torsocks=s epoch=s)) or die $help; if ($opt->{help}) { print $help; exit }; |