Re: Problema con TexLive Manager

Evidentemente /opt/texbin punta ancora alla v. 2013.
Disinstalla quest’ultima
`sudo rm -rf /usr/local/texlive/2013`
e ricreati i symlink con il comando
`ln -fs blablabla`