求助：Fedora系统下如何修改agda命令默认识别的版本？

核心原因 #

你的shell的PATH环境变量中，/usr/bin的优先级高于~/.cabal/bin，系统会优先调用旧版本的Agda。

解决步骤 #

1. 确认当前PATH顺序
   执行命令查看PATH排列：

   echo $PATH
   

   检查~/.cabal/bin是否在/usr/bin之后。

2. 修改shell配置文件，调整PATH优先级
   根据使用的shell，编辑对应配置文件：

   • Bash：编辑~/.bashrc或~/.bash_profile
   • Zsh：编辑~/.zshrc
   • Fish：编辑~/.config/fish/config.fish

   在文件末尾添加对应内容：

   • Bash/Zsh：

     export PATH="$HOME/.cabal/bin:$PATH"
     

   • Fish：

     set -x PATH $HOME/.cabal/bin $PATH
     

3. 使配置生效
   执行命令让配置立即生效：

   • Bash：

     source ~/.bashrc
     

   • Zsh：

     source ~/.zshrc
     

   • Fish：

     source ~/.config/fish/config.fish
     

   也可以直接重启终端。

4. 验证修改结果
   执行命令确认路径指向：

   which agda
   

   输出应指向~/.cabal/bin/agda，再执行：

   agda --version
   

   确认显示Agda version 2.6.3。

5. 确认软链接正确性（可选）
   检查软链接目标是否正确：

   ls -l ~/.cabal/bin/agda
   

   确保目标指向你安装的agda-2.6.3可执行文件。

完成以上步骤后，make check会自动调用新版本Agda，同时Emacs中的agda-mode版本也会和shell中的Agda版本匹配。

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