[tlbuild] unknown host: tug.org

[Norbert Preining]

Hi

On Fri, 06 Sep 2019, Yang, Fangtao (GE Additive) wrote:
> “unknown host: tug.org”.

That is a problem of the DNS server you use. That is very strange.
It should resolve to 91.121.174.77
You can add a manual host entry in /etc/hosts if your DNS server is
broken.

Best

Norbert

--
PREINING Norbert                               http://www.preining.info
Accelia Inc. + IFMGA ProGuide + TU Wien + JAIST + TeX Live + Debian Dev
GPG: 0x860CDC13   fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13