`agda-mode`找不到可执行文件

Question

我通过Cabal在Codespaces中安装了Agda，安装似乎运行良好，我也可以在集成终端中使用Agda，但是扩展

agda-mode

给了我这个错误：

Connection Error: Unable to find agda
Here are the error messages from all the attempts: 
Trying to locate "" but the file does not exist
Trying to find the command "agda": Cannot find the executable on PATH

安装程序将

/home/codespace/.cabal/bin

加载到我的路径中，我想是通过一些 bash 配置文件，但我认为扩展程序没有运行 bash？如何将 cabal 文件夹放入扩展程序的路径中？

Answer 1

如果您认为问题出在终端 vscode 使用上，您可以在

terminal integrated environment

下的 vscode 设置中添加：

"terminal.integrated.env.linux": {
    "PATH": "/home/codespace/.cabal/bin:${env:PATH}"
}

当然要配合合适的环境。