什么是 TeXdoctk?删除它安全吗?如何删除它?

什么是 TeXdoctk?删除它安全吗?如何删除它?

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

sudo apt purge texdoctk

沒有效果...

那么它到底是什么?可以安全移除吗?如果可以,该如何移除?

答案1

那么它到底是什么?

TeXdoctk 是一个TeX文档浏览器

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

在此处输入图片描述

TeXdoctk 显然是老旧且笨重的,但到目前为止我还没有找到更好的TeX

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


在此处输入图片描述

还,似乎菜单中的一些内容尚未加载,换句话说,菜单不是由您的系统创建的,而是在全球某个地方创建的,并且您的系统可能已加载或尚未加载该文档。

答案2

正如另一个答案中提到的,它是一个随附的 GUI texlive,它是使用 TeX 的软件包。如果你不使用 TeX,那么你可以输入下面的命令来卸载它

sudo apt remove texlive-base

相关内容