Scusa Lorenzo, ma con un doppio clic avvii TeX Live Utility, non TeX Live Manager, che è un programma ben definito. TeX Live Manager è dotato di un’utilità da riga di comando e di un’interfaccia grafica: entrambe si avviano da riga di comando su qualsiasi SO. Su Mac, esiste anche TeX Live Utility, che è un’interfaccia grafica alternativa che usa TeX Live Manager “sotto il cofano” e che va installata a parte con MacTeXtras. Questa si avvia con un doppio clic.
Capisco questo punto di vista, anche se la distinzione è sottile: si potrebbe obiettare che lanciando con il doppio clic l’interfaccia che (sotto il cofano) usa il TeX Live Manager, di fatto si sta usando il TeX Live Manager (con la mediazione dell’interfaccia) senza usare il terminale. 🙄
Il tutto mi ricorda vagamente la sottigliezza di alcune problematiche teologiche. 😉
Proprio per questo, coerentemente, ho risolto il tutto appellandomi al principio di autorità: la tua. 😉 Ora quel paragrafo dell’Arte segue la tua versione.
Grazie mille,
Lorenzo