diff options
author | Karl Berry <karl@freefriends.org> | 2021-05-01 22:05:56 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-05-01 22:05:56 +0000 |
commit | 68ab44aef8c88f359941186ee76c4adad78fff41 (patch) | |
tree | 052b30082a11c9b1c9f649073a0d44eac3ad87df /Master/tlpkg/dev | |
parent | 6b322e0b5d74b2d6e0c78df7b32cf1c71433be63 (diff) |
(query_ctan_mirror): use curl if present in preference to wget.
(query_ctan_mirror_curl): new fn.
(query_ctan_mirror_wget): new fn, was (essentially) query_ctan_mirror.
(give_ctan_mirror_base): use https for backbone https://www.ctan.org.
Add some ddebugging throughout for mirror resolution.
Doc, formatting tweaks.
New code from Norbert.
git-svn-id: svn://tug.org/texlive/trunk@59044 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/dev')
0 files changed, 0 insertions, 0 deletions