I'm trying to install agda-mode on OSX. I followed the official guide (tried several others too) but can't seem to get it working.
When loading Emacs/Aquamacs I get the following error:
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.
I usually use a manually installed GHC and cabal sandboxes. But I also tried installing the Haskell Platform to make sure everything needed is in its place.
Seems like El Captain sets the default user shell to /bin/false which was causing the problem. Changing it from the System Preferences to /bin/bash solved the issue.