Thank you for the help. How do I go about de-installing texlive properly? The directions there give commands for that

rm -rf /usr/local/texlive/2012
rm -rf ~/.texlive2012

which did nothing.

Reply via email to