我在Ubuntu上下载了精益Linux，提取了它，安装了Emacs，通过MELPA安装了精益模式和公司精益，它抱怨没有设置精益rootdir变量。当我试图设置它时，我在标题中得到了错误。
在精益菜单中，选择自定义精益模式。然后转到精益可执行文件名称，并将其设置为精益可执行程序的完整绝对路径(我在/opt中安装了精益3.4.1.所以对我来说，我将其设置成/opt/lean-3.4.1-linux/bin/lean(。然后单击"应用并保存"。
当您打开.lean文件时，这将自动设置Lean Rootdir。
这样，就可以避免手动编辑.emacs和编写elisp，这样就不会出现这种问题。我建议尽可能在emacs中使用自定义来设置配置变量，这几乎总是-只有少数模式不支持