diff options
-rwxr-xr-x | Master/tlpkg/bin/tl-update-containers | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tl-update-containers b/Master/tlpkg/bin/tl-update-containers index a7ae8e9c69c..3bb67458355 100755 --- a/Master/tlpkg/bin/tl-update-containers +++ b/Master/tlpkg/bin/tl-update-containers @@ -120,6 +120,15 @@ sub main for my $pkg (@packs) { # by definition, any 00texlive... package does not need containers. next if $pkg =~ /00texlive/; + # we check for the existence of Master/tlpkg/disabled-packages-for-tlnet + # and if it is present any package listed therein will not be + # updated in tlnet + if (-r "$Master/tlpkg/disabled-packages-for-tlnet") { + if (!system("grep", "-q", $pkg, "Master/tlpkg/disabled-packages-for-tlnet")) { + tlwarn("$pkg disabled for tlnet updates (tlpkg/disabled-packages-for-tlnet)\n"); + next, + } + } my $oldrev = 0; if (-r "$opt_containerdir/$pkg.tar.$type" && defined($archiverevs{$pkg})) { |