Agda Mode无法安装至任意Emacs版本：权限及可执行文件问题求助

Agda Mode是辅助证明开发的工具，原本通过agda-setup命令初始化，但无法正常运行。尝试用sudo执行agda-mode setup，依然出现相同错误。

具体错误输出如下：

lukemccartney@Lukes-MacBook-Pro ~ % sudo agda-mode setup
Password:
FAILED: emacs --batch --user '' --eval '(with-temp-file "/tmp/askEmacs2284-0" (insert (expand-file-name user-init-file)))'
Exception: emacs: rawSystem: posix_spawnp: permission denied (Permission denied)
Executable emacs at: (not found)
PATH:
  - /opt/local/bin
  - /opt/local/sbin
  - /Users/lukemccartney/.cargo/bin
  - /Library/Frameworks/Python.framework/Versions/3.8/bin
  - /usr/local/bin
  - /usr/bin
  - /bin
  - /usr/sbin
  - /sbin
  - /usr/local/Cellar/llvm@12
  - /var/run/com.apple.security.cryptexd/codex.system/bootstrap/usr/local/bin
  - /var/run/com.apple.security.cryptexd/codex.system/bootstrap/usr/bin
  - /var/run/com.apple.security.cryptexd/codex.system/bootstrap/usr/appleinternal/bin
  - /opt/X11/bin
  - /Library/Apple/usr/bin
  - /Library/TeX/texbin
  - /Applications/Wireshark.app/Contents/MacOS
  - /Applications/VMware Fusion.app/Contents/Public
  - /usr/local/share/dotnet
  - ~/.dotnet/tools
  - /usr/local/go/bin
  - /Library/Frameworks/Mono.framework/Versions/Current/Commands
  - /Users/lukemccartney/.cabal/bin
  - /Users/lukemccartney/.ghcup/bin

已做过的尝试：

• 使用sudo权限执行安装命令
• 将Emacs程序移动到错误信息列出的PATH路径中，但问题依旧存在

内容的提问来源于stack exchange，提问作者Luke McCartney