Puncte:1

Fișierul desktop nu a specificat câmpul exec

drapel ar

Am descărcat coq-proof prin software-ul ubuntu, dar ori de câte ori îl deschid, primesc întotdeauna acel mesaj (fișierul desktop nu a specificat câmpul exec) ce pot face?

Puncte:1
drapel zw

Probabil ați scris greșit numele software-ului. Este livrat ca Snap și numit

Demonstrator de teoreme interactive Coq - coq-prover.

Acest Snap pare să fie într-adevăr stricat în ceea ce privește fișierul de lansare rupt.

Deci, aveți două opțiuni:

  • creați manual un lansator pentru fișierul numit /snap/bin/coqide și continuați să utilizați această versiune Snap a aplicației.

  • eliminați acest Snap by spart

    snap remove coq-prover
    

    și instalați versiunea deb-ambalată în schimb de

    sudo apt-get install coqide
    

    și folosiți lansatorul preinstalat.

cesar col avatar
drapel ar
Mulțumiri! A mers!

Postează un răspuns

Majoritatea oamenilor nu înțeleg că a pune multe întrebări deblochează învățarea și îmbunătățește legătura interpersonală. În studiile lui Alison, de exemplu, deși oamenii își puteau aminti cu exactitate câte întrebări au fost puse în conversațiile lor, ei nu au intuit legătura dintre întrebări și apreciere. În patru studii, în care participanții au fost implicați în conversații ei înșiși sau au citit transcrieri ale conversațiilor altora, oamenii au avut tendința să nu realizeze că întrebarea ar influența – sau ar fi influențat – nivelul de prietenie dintre conversatori.