<div dir="ltr">Hi there,<div><br></div><div>Apologies if this has come up before (I'm sure it has), but I'm trying to get a stable, reproducible installation of texlive across multiple systems, including different people's computers and a continuous integration service. I've written a script [1] which installs texlive from <a href="ftp://tug.org/historic/">ftp://tug.org/historic/</a> which has been working fine, however recently the server seems to have become flaky and I'm getting random download failures which prevent installation (TLPDB::_install_package: downloading did not succeed). I can't switch to a mirror because historic/ is not mirrored. I found <a href="https://ctanmirror.speedata.de/">https://ctanmirror.speedata.de/</a> and will give that a try, however I just thought I would post here as it would seem to be a good idea if historic/ was mirrored along with all the other texlive content. Also I'd be grateful if anyone has any other suggestions.</div><div><br></div><div>Thanks,</div><div>Alistair</div><div><br></div><div>[1] <a href="https://github.com/malariagen/agam-report-base/blob/master/install/install.sh">https://github.com/malariagen/agam-report-base/blob/master/install/install.sh</a><br>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr">Alistair Miles<br>Head of Epidemiological Informatics<br>Centre for Genomics and Global Health <<a href="http://cggh.org" target="_blank">http://cggh.org</a>><br><div dir="ltr">Big Data Institute Building</div><div dir="ltr">Old Road Campus</div><div dir="ltr">Roosevelt Drive</div><div dir="ltr">Oxford</div><span style="font-size:12.8px">OX3 7LF</span></div><div dir="ltr">United Kingdom</div><div dir="ltr">Phone: +44 (0)1865 743596<br>Email: <a href="mailto:alimanfoo@googlemail.com" target="_blank">alimanfoo@googlemail.com</a><br>Web: <a href="http://purl.org/net/aliman" target="_blank">http://a</a><a href="http://limanfoo.github.io/" target="_blank">limanfoo.github.io/</a> <br>Twitter: <a href="https://twitter.com/alimanfoo" target="_blank">https://twitter.com/alimanfoo</a><br></div></div></div></div></div></div>
</div></div>