我在Ubuntu上为Linux下载了lean，通过MELPA提取了它，安装了Emacs，安装了lean-mode和company-lean，它抱怨没有设置lean-rootdir变量。尝试进行设置时，标题出现错误。
答案 0 :(得分：1)
在“精益”菜单中，选择“自定义精益模式”。然后转到“精益可执行文件名称”，并将其设置为精益可执行文件的完整绝对路径（我在/opt中安装了精益3.4.1，因此对我来说，我将其设置为/opt/lean-3.4.1-linux/bin/lean）。然后单击“应用并保存”。
这将在您打开.lean文件时自动设置精益Rootdir。
这样，您就不必手动编辑.emacs并编写elisp，因此不会出现此类问题。我建议您始终尽可能在emacs中使用customize来设置配置变量，这几乎总是这样-只有少数几种模式不支持它。