elisp - 为什么我在尝试设置lean-rootdir时得到“作为变量的符号值是无效的：...”？

Question

我在 Ubuntu 上下载了适用于 Linux 的精益，提取它，安装了 Emacs，通过 MELPA 安装了精益模式和公司精益，它抱怨没有设置精益根目录变量。当我尝试设置它时，我得到标题中的错误。

Answer 1

在精益菜单中，选择自定义精益模式。然后转到精益可执行文件名称并将其设置为精益可执行文件的完整绝对路径（我在 中安装了精益 3.4.1 /opt，所以对我来说，我将其设置为/opt/lean-3.4.1-linux/bin/lean）。然后单击应用并保存。

.lean这将在您打开文件时自动设置 Lean Rootdir 。

这样，您就不必手动编辑.emacs和编写 elisp，因此您不会遇到此类问题。我建议总是尽可能在 emacs 中使用自定义设置配置变量，这几乎总是 - 只有少数模式不支持它。