WSL2下Ubuntu 21.10中CoqIDE无法访问全局剪贴板如何修复

问题性质说明 #

该问题是WSL2环境下旧版GTK2应用的共性问题，并非个人环境特有。CoqIDE 8.12.0版本默认基于GTK2框架构建，而WSLg的全局剪贴板共享默认仅对GTK3、Qt框架应用以及终端类应用生效，GTK2应用默认无法对接WSLg提供的剪贴板代理接口，因此会出现其他软件剪贴板正常、仅CoqIDE无法访问的情况。

修复方案 #

• 方案1（推荐）：升级到8.15及以上版本的CoqIDE
  8.15版本之后的CoqIDE已经切换为GTK3框架构建，默认兼容WSL2的剪贴板共享机制。可通过添加官方PPA源安装新版：

  sudo add-apt-repository ppa:coq-team/ppa
  sudo apt update && sudo apt install coq coqide
  

• 方案2：强制指定GTK2的渲染后端
  如果必须使用8.12.0版本，可在启动时添加环境变量指定后端：

  GDK_BACKEND=x11 coqide
  

  也可将export GDK_BACKEND=x11写入~/.bashrc或~/.zshrc配置文件，永久生效。
• 方案3：通过xclip做剪贴板中转
  若上述方案不生效，可安装xclip工具手动同步剪贴板内容：
  1. 安装xclip：sudo apt install xclip
  2. 将CoqIDE选中内容同步到Windows剪贴板：执行xclip -o -selection primary | clip.exe
  3. 将Windows剪贴板内容同步到CoqIDE可用的剪贴板：执行powershell.exe Get-Clipboard | xclip -i -selection clipboard

内容的提问来源于stack exchange，提问作者მამუკა ჯიბლაძე