什么是 TeXdoctk？删除安全吗？我该如何删除它？

Question

正如标题所暗示的，在使用 Ubuntu 17.10 时，我在 Gnome 菜单中遇到了一个名为 TeXdoctk 的程序。我无法弄清楚它的目的是什么并尝试通过以下方式卸载它：

sudo apt purge texdoctk

已经没有效果了...

那么它到底是什么？删除安全吗？如果是这样，怎么办？

Answer 1

那么它到底是什么？

TeXdoctk 是一个TeX文档浏览器

TeX 是一个排版系统。 例如，它用于一些 Debian 手册。

TeXdoctk 显然又旧又笨重，但到目前为止我还没有找到任何更好的TeX。

我认为下面的描述可以更简单地表述为“使用菜单显示 TeX 帮助”。

另外，似乎菜单中的一些内容没有加载，换句话说，菜单不是从您的系统创建的，而是在全局某个地方创建的，并且您的系统可能会也可能不会加载该文档。

Answer 2

正如另一个答案中提到的，它是一个附带的 GUI texlive，它是使用 TeX 的包。如果您不使用 TeX，则可以输入以下命令来卸载它

sudo apt remove texlive-base