diff options
Diffstat (limited to 'script/public-inbox-fetch')
| -rwxr-xr-x | script/public-inbox-fetch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/script/public-inbox-fetch b/script/public-inbox-fetch index f9bac4e3..6fd15328 100755 --- a/script/public-inbox-fetch +++ b/script/public-inbox-fetch @@ -2,8 +2,7 @@ # Copyright (C) all contributors <meta@public-inbox.org> # License: AGPL-3.0+ <https://www.gnu.org/licenses/agpl-3.0.txt> # Wrapper to git fetch remote public-inboxes -use strict; -use v5.10.1; +use v5.12; use Getopt::Long qw(:config gnu_getopt no_ignore_case auto_abbrev); my $opt = {}; my $help = <<EOF; # the following should fit w/o scrolling in 80x24 term: @@ -24,6 +23,7 @@ options: -C DIR chdir to specified directory EOF GetOptions($opt, qw(help|h quiet|q verbose|v+ C=s@ c=s@ try-remote|T=s@ + prune|p no-torsocks torsocks=s exit-code)) or die $help; if ($opt->{help}) { print $help; exit }; require PublicInbox::Fetch; # loads Admin |