为什么我得到 Symbol作为变量的值是无效的：当试图设置lean-rootdir？

作者: 哎？小查查
发布时间: 2024-04-19 04:21:31 (5小时前)
转自：

2 条回复

0#
回复此人
扬尘 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 在精益菜单中，选择自定义精简模式。然后转到精益可执行文件名并将其设置为精简可执行文件的完整绝对路径（我安装了Lean 3.4.1 in <code> /opt </code> 所以对我来说，我把它设置为 <code> /opt/lean-3.4.1-linux/bin/lean </code> ）。然后单击“应用并保存”。 </p> <P> 这将在您打开时自动设置Lean Rootdir <code> .lean </code> 文件。 </p> <P> 这样，您就可以避免手动编辑 <code> .emacs </code> 并写elisp，所以你不会有这种问题。我建议随时使用emacs中的自定义设置配置变量，这几乎总是 - 只有少数几种模式不支持它。 </p> </DIV>

编辑

登录后才能参与评论