原子编辑器中的Idris，“找不到Idris可执行文件"错误 [英] Idris in atom editor, "Couldn't find Idris executable" error

问题描述

我目前正在尝试下载Idris并将其用于Atom，并使用其编辑器.我下载了Hackage，然后从那里在计算机上安装了idris，然后将idris软件包安装在了atom上，每当我键入该程序时，它就会像Idris应该的那样突出显示，但是当我键入check时，出现两个错误，可能t查找idris可执行文件:在"Idris"处找不到idris可执行文件"和"idris编译器已关闭或崩溃:(可能)崩溃，错误代码:-2".

I am currently trying to download and use Idris for Atom and use it's editor. I downloaded Hackage and then installed idris on my computer from there and then installed the idris package on atom, and when ever I type in the program it highlights like Idris should, but when I type check it I am getting two errors, "Couldn't find idris executable: Couldn't find idris executable at "Idris"" and "The idris compiler was closed or crashed: It (probably) crashed with error code : -2".

错误图片

推荐答案

作为自述文件(该插件说)，您需要将插件配置中的"Idris位置:"设置设置为安装Idris二进制文件的路径.

As the readme for the plugin says, you need to set the "Idris location:" setting in the plugin config to the path where you have installed the Idris binary.

这篇关于原子编辑器中的Idris，“找不到Idris可执行文件"错误的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！