Agda-mode无法找到可执行文件：Codespaces中Cabal安装路径配置问题

方法一：直接指定Agda可执行路径 #

• 打开VS Code设置（快捷键Ctrl+,或Cmd+,）
• 搜索框输入agda.executablePath
• 将配置值设为/home/codespace/.cabal/bin/agda
• 保存设置后重启agda-mode扩展即可

方法二：配置全局环境变量让扩展读取PATH #

VS Code扩展启动时不会加载bash的配置文件（比如.bashrc），但会读取.profile的环境变量：

• 在终端执行nano ~/.profile打开编辑
• 在文件末尾添加一行：export PATH="$HOME/.cabal/bin:$PATH"
• 按Ctrl+O保存，Ctrl+X退出编辑器
• 重启Codespaces容器（左下角状态栏点"Codespaces"图标，选"Rebuild Container"）
• 重启后扩展就能识别到Agda的路径了

验证：重启后打开命令面板（Ctrl+Shift+P），运行Agda: Check Installation确认问题解决

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