Score:1

Desktop file didnt specify exec field

ar flag

I downloaded coq-proof Through ubuntu software but whenever I open it I always get that (Desktop file didnt specify exec field) message what can I do?

Score:1
zw flag

You probably have misspelled the software name. It is shipped as Snap and named

Coq Interactive Theorem Prover - coq-prover.

This Snap seems to be really broken in terms of broken launcher file.

So you have two options:

  • manually create a launcher to file named /snap/bin/coqide and continue to use this Snap version of application.

  • remove this broken Snap by

    snap remove coq-prover
    

    and install deb-packaged version instead by

    sudo apt-get install coqide
    

    and use its preinstalled launcher.

cesar col avatar
ar flag
Thanks! It worked!
mangohost

Post an answer

Most people don’t grasp that asking a lot of questions unlocks learning and improves interpersonal bonding. In Alison’s studies, for example, though people could accurately recall how many questions had been asked in their conversations, they didn’t intuit the link between questions and liking. Across four studies, in which participants were engaged in conversations themselves or read transcripts of others’ conversations, people tended not to realize that question asking would influence—or had influenced—the level of amity between the conversationalists.