正如标题所示,在使用 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