如何在OSX El Capitan上安裝agda模式？

Question

我正在嘗試在OSX上安裝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平台，以確保所需的一切都就位。

Answer 1

似乎El Captain將默認用戶shell設置為/bin/false ，這導致了問題。 將其從“系統偏好設置”更改為/bin/bash可解決此問題。