Как выполнить ping домен IDN с его именем, отличным от ASCII?
Для меня решение LnxSlck оказалось как-то недостаточным. Затем я сделал apt-get purge texlive-base (хотя не уверен, что должен был), а затем apt-get autoclean, а затем я был полностью свободным от texlive.