Что такое TeXdoctk? Это безопасно удалить? Как мне это убрать?
Как следует из названия, во время использования Ubuntu 17.10 я встретил программу под названием TeXdoctk в меню Gnome. Я не могу понять, какова его цель, и пытаюсь удалить ее через:
sudo apt purge texdoctk
Не оказал никакого влияния ...
Так что же это такое? Это безопасно удалить? И если да, то как?
2 ответа
Вы можете ввести команду ниже, чтобы удалить ее
sudo apt remove texlive-base
Так что же это такое?
TeXdoctk — это TeX браузер документации
TeX — это система для набора текста. Например, он используется в некоторых руководствах по Debian.
TeXdoctk явно старый и неуклюжий, но пока что я не нашел ничего лучше для TeX.
Это описание, приведенное ниже, можно было бы, на мой взгляд, выразить проще, как «Использовать меню для отображения справки TeX» .
Кроме того, кажется, что некоторые вещи в их меню не загружены, другими словами, меню создается НЕ из вашей системы, а где-то глобально, и ваша система может иметь или не загружать эту документацию.