::
Cerca in Applicatios | TeX e troverai TeX Live Utility; ricordati di configurarla con Preferences per scegliere il mirror giusto (qualunque è giusto tranne Roma2); Il GARR di Bologna va bene; io di solito vado su quello svizzero oppure su quello olandese.
