如何在OSX El Capitan上安装Agda模式？

我想在OSX上安装agda模式。我遵循官方指南（也尝试了其他几种），但似乎无法使其工作。如何在OSX El Capitan上安装Agda模式？

当装载的Emacs/Aquamacs我得到以下错误：

Warning (initialization): An error occurred while loading `/Users/is7s/.emacs': 

File error: Searching for program, no such file or directory, /bin/false 

To ensure normal operation, you should investigate and remove the 
cause of the error in your initialization file. Start Emacs with 
the `--debug-init' option to view a complete error backtrace.

我通常使用手动安装GHC和阴谋沙箱。但我也尝试安装Haskell平台，以确保所需的一切都在它的位置。

来源

2016-04-25 is7s

您可能会喜欢[Agda Writer]（https://github.com/markokoleznik/agda-writer） - OS X上的Emacs的替代品。 – user3237465

免责声明：作者Agda作家在这里。如果您对Agda Writer不满意，您还应该检查Atom编辑器的agda模式包。但Agda Writer带有已编译的Agda，因此不需要安装。如果您还有其他问题，请询问。 – markich

@markich当我遇到这个问题时，我试过Agda Writer，但是当试图加载Agda脚本时，我收到了一个错误，如“无法加载多个文件”。 – is7s

似乎El Captain将默认用户shell设置为/bin/false，这导致了问题。将其从系统首选项更改为/bin/bash解决了此问题。

来源

2016-04-27 16:37:59 is7s

如何在OSX El Capitan上安装Agda模式？

回答

相关问题