如何在OSX El Capitan上安装agda-mode？

Question

我试图在OSX上安装agda-mode。我遵循了官方指南（也尝试了其他几个），但似乎无法让它发挥作用。

加载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和cabal沙箱。但我也尝试安装Haskell平台，以确保所需的一切都在其位置。

Answer 1

似乎El Captain将默认用户shell设置为导致问题的/bin/false。将其从系统偏好设置更改为/bin/bash解决了问题。