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

Emacs（来自）和Agda（通过自制）都能正常安装。但是，在运行agda模式设置后启动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模式，我尝试了-library，但没有成功

My.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))

---

是否有人有相同的问题/知道如何解决或它来自何处？提前谢谢

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

在终端中，运行

echo$PATH

并与

agda mode locate

进行比较，找出找到agda mode所需的路径。对我来说，这是

/Users/aransil/.cabal/bin

在GNU emacs中，使用

（shell命令字符串“echo$PATH”）

验证PATH变量是否不同，并且不包括

/Users/aransil/.cabal/bin

回到终端，通过添加行

导出路径=/Users/aransil/.cabal/bin:$PATH来编辑
~/.zshenv

重新启动GNU emacs
您的
.emacs
的相关部分是什么样子的？完整内容是
（包初始化）（加载文件（let（（读取“utf-8”的编码系统））（shell命令字符串“agda mode locate”））（何时（memq窗口系统）（mac ns x））（shell初始化的执行路径））
请原谅我设置了格式。找不到强制换行的方法。注意，您可以随时编辑原始问题。我现在已经添加了配置。我认为这是一个关于GUI Emacs拥有不同路径副本的问题，其中缺少adga模式。您是否尝试过比较在终端和GUI Emacs中打印路径时的外观？您提到您尝试了shell中的exec path，但它不起作用。它是否更改路径的值？