diff options
author | Karl Berry <karl@freefriends.org> | 2009-09-10 00:06:01 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-09-10 00:06:01 +0000 |
commit | 7fa7888b592a5ecb25528554aced7ed1f7d6b76b (patch) | |
tree | dc26e32cf1f4d9a7cff0512f2adaaec32e34b5ef /Master/texmf | |
parent | d9f9087e2f3b40f3126ced713e15a5eff9442625 (diff) |
more info when can't download the db. should
probably write a dedicated web page for this.
git-svn-id: svn://tug.org/texlive/trunk@15199 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf')
-rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index 7f8398860f2..346e04ddecb 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -3853,8 +3853,14 @@ sub init_tlmedia my $fh = TeXLive::TLUtils::download_file($path, "|"); my $rem_digest; if (read ($fh, $rem_digest, 32) != 32) { - info("No internet access detected, but a local copy of the remote\n"); - info("texlive database has been found. Using this copy.\n"); + info(<<END_NO_INTERNET); +Unable to download the remote TeX Live database, +but found a local copy so using that. + +You may want to try specifying an explicit CTAN mirror to use; +see the documentation for the --repository option in +the output of install-tl --help for information and examples. +END_NO_INTERNET $tlmediasrc = TeXLive::TLMedia->new(-location => $location, -tlpdbfile => $loc_copy_of_remote_tlpdb); $local_copy_tlpdb_used = 1; |