agda-mode 未安装到任何版本的 emacs 上

Question

Agda 模式，用于帮助发现证明以及由

agda-setup

命令初始化的程序的工具无法工作。我已经通过

sudo

用法尝试过此操作并遇到相同的错误。

我得到的错误如下：

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 版本移动到错误中列出的位置，但不断收到相同的错误。

Answer 1

agda-mode

您正在尝试

setup

是 Agda 的 Emacs 模式，这意味着您需要安装 Emacs 才能使用该模式，而根据

您没有安装该模式

emacs --version zsh: command not found: emacs

因此请务必安装

Emacs

并将其放在您的

$PATH

上。

请注意，其他一些编辑器（如 Atom 和 Vim）也有 Agda 模式。

您可以在此处找到有关 Emacs Agda 模式的信息以及其他模式的参考。