Как установить agda-mode на OSX El Capitan?

Question

Я пытаюсь установить agda-mode на OSX. Я следовал официальному руководству (попробовал несколько других тоже), но не могу заставить его работать.

При загрузке 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 устанавливает оболочку пользователя по умолчанию /bin/false который вызывал проблему. Изменение его из системных настроек на /bin/bash решил проблему.