diff options
author | Karl Berry <karl@freefriends.org> | 2009-01-21 19:31:28 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-01-21 19:31:28 +0000 |
commit | e877301bd87aeff9377f5f96b9a3698e7617dfae (patch) | |
tree | d27c54a65658d5e7b60422c82d80376df959c878 /Master/tlpkg/bin/tl-update-containers | |
parent | fc5b68d1ee39263ba3d73c51113a465a2483d9e8 (diff) |
do not update tex4ht, tar backup fails
git-svn-id: svn://tug.org/texlive/trunk@11940 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tl-update-containers')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-containers | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/Master/tlpkg/bin/tl-update-containers b/Master/tlpkg/bin/tl-update-containers index 3bb67458355..56a62be6dbb 100755 --- a/Master/tlpkg/bin/tl-update-containers +++ b/Master/tlpkg/bin/tl-update-containers @@ -1,5 +1,5 @@ #!/usr/bin/env perl -# Copyright 2008 Norbert Preining +# Copyright 2008, 2009 Norbert Preining # This file is licensed under the GNU General Public License version 2 # or any later version. # @@ -120,13 +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, + + # we check for the existence of a special config file, and if it + # is present any package listed therein will not be updated in + # tlnet. Assume GNU grep for checking it. + my $disabled_pkgs = "$Master/tlpkg/etc/tlnet-disabled-packages.txt"; + if (-r $disabled_pkgs) { + if (!system("grep", "-q", "-x", "-F", $pkg, $disabled_pkgs)) { + tlwarn("$0: $pkg disabled for tlnet updates in $disabled_pkgs\n"); + next; } } my $oldrev = 0; |