Регистрация Войти
Рейтинг:1
cesar col avatar Ubuntu

В файле рабочего стола не указано поле exec

флаг ar
cesar col

Я загрузил coq-proof через программное обеспечение Ubuntu, но всякий раз, когда я его открываю, я всегда получаю сообщение (в файле рабочего стола не указано поле exec), что я могу сделать?

179
1 + 0
Рейтинг:1
N0rbert avatar Ubuntu
флаг zw
N0rbert

Вероятно, вы ошиблись в названии программного обеспечения. Он поставляется как Snap и названный

Интерактивный доказатель теорем Coq - кок-прувер.

Этот Snap кажется действительно сломанным с точки зрения сломанного файла запуска.

Итак, у вас есть два варианта:

  • вручную создайте пусковую установку для файла с именем /Snap/bin/coqide и продолжайте использовать эту версию приложения Snap.

  • удалите этот сломанный Snap by

    защелка удалить coq-прувер

    и вместо этого установите версию с пакетом deb с помощью

    sudo apt-get установить coqide

    и используйте его предустановленный лаунчер.

0 + 1
cesar col avatar
флаг ar
cesar col
Спасибо! Это сработало!
0
Ответить
флаг Moldova
Admin
Этот вопрос на других языках:

Ответить или комментировать

Большинство людей не понимают, что склонность к познанию нового открывает путь к обучению и улучшает межличностные связи. В исследованиях Элисон, например, хотя люди могли точно вспомнить, сколько вопросов было задано в их разговорах, они не чувствовали интуитивно связи между вопросами и симпатиями. В четырех исследованиях, в которых участники сами участвовали в разговорах или читали стенограммы чужих разговоров, люди, как правило, не осознавали, что задаваемый вопрос повлияет — или повлиял — на уровень дружбы между собеседниками.