diff options
| author | Karl Berry <karl@freefriends.org> | 2020-04-27 17:23:52 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2020-04-27 17:23:52 +0000 |
| commit | 94216ed129278bf70ac83a4fb3c4e8f117fac5fa (patch) | |
| tree | a70ef8a0e168a1ec78485ed6921d3f6c2918aa98 /Master/tlpkg/bin/tlpkginfo | |
| parent | 63703a242cd8ba25502923c64c3b75a618c2125b (diff) | |
use envvar instead of option to avoid catalogue update of every file with tlpkg-ctan-check --check; bump bad-mirror threshold to 36 hours
git-svn-id: svn://tug.org/texlive/trunk@54909 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tlpkginfo')
| -rwxr-xr-x | Master/tlpkg/bin/tlpkginfo | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/Master/tlpkg/bin/tlpkginfo b/Master/tlpkg/bin/tlpkginfo index 92335ba455d..f48e2e78b80 100755 --- a/Master/tlpkg/bin/tlpkginfo +++ b/Master/tlpkg/bin/tlpkginfo @@ -71,7 +71,6 @@ sub ctaninfo { -d "$CATALOGUE/k" || die "$0: TEX_CATALOGUE ($CATALOGUE) must point to entries/ subdir" . " of a TeX Catalogue checkout.\n"; - $catalogue_update = 1; # do svn update of catalogue file? # erroneous or problematic tds files (when new, tell CTAN and author) $erroneous_tds = join ("|", @@ -93,9 +92,6 @@ sub ctaninfo { print "$output\n" if $output; return $output ? 0 : 1; - } elsif ($ARGV[0] eq "--no-catalogue") { - $catalogue_update = 0; - } elsif ($ARGV[0] eq "--prepare") { my $output = &prepare ($ARGV[1]); print "$output\n" if $output; # if no $output, errors elsewhere @@ -393,8 +389,10 @@ sub prepare { my $catfile = &catalogue_find_file ($catname || $pkg); if ($catfile) { # redirect to stderr because we want the only stdout to be the - # directory name for ctan2tl to use. - system ("timeout 10s svn update $catfile >&2") if $catalogue_update; + # directory name for ctan2tl to use. Intentionally do not use -q + # so that we have a chance of noticing errors. + system ("timeout 10s svn update $catfile >&2") + unless $ENV{"TLPKGINFO_CATALOGUE_NO_UPDATE"}; open (CATFILE, "<$catfile") || die "open($catfile) failed, fixme: $!"; # looking for a line like <install path='...'/> |