clipboard - Coqide 在 wsl 中看不到全局剪贴板

Question

Windows 10 中 wsl2 下的 Ubuntu 21.10 成功共享全局剪贴板内容（例如，在 nano 或 emacs 中），但 coqide（8.12.0，通过 apt 安装）没有。

我在配置中找不到任何关于剪贴板的内容，在我的本地 coqiderc 文件中也找不到。

在 github coq 存储库中有一个叫做CoqIDEWishes的东西，但我在那里也找不到任何关于它的东西。

这是一个常见问题还是特定于我的设置？我可以修理它吗？

Answer 1

安装后问题解决gpaste（通过apt）。

不知道发生了什么，很可能我的 Ubuntu 只有某种“标准”剪贴板处理程序，这不足以满足gtk+coqide 看似依赖的情况。