桌面文件未指定 exec 字段

Question

我通过 ubuntu 软件下载了 coq-proof，但每当我打开它时，我总是收到（桌面文件未指定 exec 字段）消息，我该怎么办？

Answer 1

您可能拼错了软件名称。它以 Snap 的形式提供，并且命名

Coq 交互式定理证明器—— coq-prover。

就启动器文件损坏而言，这个 Snap 似乎确实损坏了。

因此你有两个选择：

• 手动创建一个启动器以文件命名/snap/bin/coqide并继续使用此 Snap 版本的应用程序。

• 删除此损坏的 Snap

  snap remove coq-prover
  

  并安装 deb 打包版本

  sudo apt-get install coqide
  

  并使用其预装的启动器。