☰

如何让 Gummi 使用 TeX Live 2018 而不是 2017？

tag-icon • tag-icon ubuntu gummi texlive-2018
如何让 Gummi 使用 TeX Live 2018 而不是 2017？

Gummi 是一款出色的实时预览 TeX 编辑器。我在使用 Gummi 时遇到的问题是，即使我使用 install-tl-unx.tar.gz 文件中的 install-tl 单独安装 TeX Live 2018，我仍然必须使用 apt install 安装 gummi 附带的旧 texlive 依赖项，而 Gummi 仅使用这些（2017 版）。

有没有办法让它指向 TeX Live 2018？

我正在使用 Ubuntu 18.04 bionic。

答案1

在我发布问题后不久，我就找到了一个简单的解决方法。

install-tl首先我安装了 TeX Live 2018安装-tl-unx.tar.gz使用这个文件指导. 按照指南中提到的安装后检查进行操作。

使用以下方式安装 Gummisudo apt install gummi

使用以下方法手动删除使用 gummi 安装的 TeX Live 2017 依赖项

  1. apt remove texlive-base
  2. apt remove texlive-binaries

如果您的 PATH 变量正确指向 TeX Live 2018，Gummi 应该会自动检测并使用它。

更新 1： @ 指出的正确解决方案达莱夫 是使用--no-install-recommends 标志。这不会安装推荐的依赖项。

相关内容