Rick Voland rvoland at
Mon Jul 8 02:54:05 CEST 2019

I updated late today and all is fine.  TeX Live Manager GUI works again and I can use LaTeX to make documents.

Thanks for your help.


----- Original Message -----
From: "Siep Kroonenberg" <siepo at>
To: tex-live at
Sent: Saturday, July 6, 2019 3:29:30 AM
Subject: tlshell

The problem should now be fixed, but you may want to wait a day for
the mirrors to catch up.

Update both tlmgr and tlshell.

Siep Kroonenberg

More information about the tex-live mailing list