Как следует из названия, при использовании Ubuntu 17.10 я столкнулся с программой TeXdoctk в меню Gnome. Я не могу решить, какова его цель, и попытаться удалить ее с помощью:
sudo apt purge texdoctk
Не имеет эффекта ...
Так что же это такое? Безопасно ли удалить? И если да, то как?
вы можете ввести команду ниже, чтобы удалить ее
sudo apt remove texlive-base
вы можете ввести команду ниже, чтобы удалить ее
sudo apt remove texlive-base