31 Aug
2015
31 Aug
'15
1:28 p.m.
Re-reading some of the posts on texlive-bin from earlier this month, especially #48490, 48582, and 48670, I now see that the problem is that /usr/local is not empty. I cannot delete the contents of this directory, but in my case the following work-around is effective: sudo mv /usr/local /usr/local-save sudo install … sudo mv /usr/local-save /usr/local