在OSX上运行Emacs GUI时找不到Agda模式二进制文件

Question

Emacs (来自https://emacsformacosx.com/)和Agda (通过自制软件)都可以优雅地安装。但是，在运行agda-mode setup之后启动Emacs时，我收到以下错误：

Warning (initialization): An error occurred while loading ‘/Users/user/.emacs’:

File is missing: Cannot open load file, No such file or directory, /Users/user/zsh:1: command not found: agda-mode

Emacs的终端版本可以正确加载Agda模式，我尝试了exec-path-from-shell -library，但没有成功。

我的.emacs包含以下内容：

(package-initialize)
(load-file
 (let ((coding-system-for-read 'utf-8))
   (shell-command-to-string "agda-mode locate")))
(when (memq window-system '(mac ns x))
  (exec-path-from-shell-initialize))

有没有人有同样的问题/知道如何解决它或它来自哪里？提前感谢！

Answer 1

在和MacOS emacs上也有同样的问题。就像@viam0Zah建议的那样，这被证明是一个路径问题。以下是为我修复它的方法：

在终端中，运行echo $PATH并与agda-mode locate进行比较，以确定需要哪条路径才能找到agda-mode。对我来说，它就是/Users/aransil/.cabal/bin。

在GNU emacs中，使用(shell-command-to-string "echo $PATH")验证path变量是否不同并且不包含/Users/aransil/.cabal/bin。

回到终端，通过添加行export PATH=/Users/aransil/.cabal/bin:$PATH来编辑~/.zshenv

重新启动GNU emacs