diff options
| -rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr2.pl | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr2.pl b/Master/texmf/scripts/texlive/tlmgr2.pl index d42666751d5..c98f5f4dcd2 100755 --- a/Master/texmf/scripts/texlive/tlmgr2.pl +++ b/Master/texmf/scripts/texlive/tlmgr2.pl @@ -2436,10 +2436,12 @@ sub init_tlmedia { if ($location =~ m/^($TeXLiveServerURL|ctan$)/) { $location = give_ctan_mirror(); } - # WARNING WARNING WARNING - # DO NOT CHANGE THE TEXT IN THE FOLLOWING INFO WITHOUT THINKING TWICE - # AND AVERTING ALL THE GUI WRITERS!!! + # that "URL: $location should not be changed since GUI programs + # might depend on it. In case of $::machinereadable all the info + # output is also going to STDERR + print "URL: $location\n" if $::machinereadable; info("tlmgr: installation location $location\n"); + # $tlmediasrc is a global variable $tlmediasrc = TeXLive::TLMedia->new($location); $tlmediatlpdb = $tlmediasrc->tlpdb; |