如何在 OSX El Capitan 上安装 agda-mode？
How to install agda-mode on OSX El Capitan?
我正在尝试在 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 平台以确保所需的一切都在其位置。
似乎 El Captain 将默认用户 shell 设置为 /bin/false，这导致了问题。将其从系统偏好设置更改为 /bin/bash 解决了问题。
我正在尝试在 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 平台以确保所需的一切都在其位置。
似乎 El Captain 将默认用户 shell 设置为 /bin/false，这导致了问题。将其从系统偏好设置更改为 /bin/bash 解决了问题。