Điểm:1

Tệp máy tính để bàn không chỉ định trường exec

lá cờ ar

Tôi đã tải xuống phần mềm coq-proof Through ubuntu nhưng bất cứ khi nào tôi mở nó, tôi luôn nhận được thông báo đó (Tệp máy tính để bàn không chỉ định trường exec), tôi có thể làm gì?

Điểm:1
lá cờ zw

Chắc bạn viết sai tên phần mềm. Nó được vận chuyển dưới dạng Snap và đặt tên

Chứng minh định lý tương tác Coq - coq-prover.

Snap này dường như thực sự bị hỏng về tệp trình khởi chạy bị hỏng.

Vì vậy, bạn có hai lựa chọn:

  • tự tạo trình khởi chạy cho tệp có tên /snap/bin/coqide và tiếp tục sử dụng phiên bản ứng dụng Snap này.

  • xóa Snap bị hỏng này bằng cách

    nhanh chóng loại bỏ coq-prover
    

    và cài đặt phiên bản đóng gói gỡ lỗi thay vì

    sudo apt-get cài đặt coqide
    

    và sử dụng trình khởi chạy được cài đặt sẵn của nó.

cesar col avatar
lá cờ ar
Cảm ơn! Nó đã làm việc!

Đăng câu trả lời

Hầu hết mọi người không hiểu rằng việc đặt nhiều câu hỏi sẽ mở ra cơ hội học hỏi và cải thiện mối quan hệ giữa các cá nhân. Ví dụ, trong các nghiên cứu của Alison, mặc dù mọi người có thể nhớ chính xác có bao nhiêu câu hỏi đã được đặt ra trong các cuộc trò chuyện của họ, nhưng họ không trực giác nhận ra mối liên hệ giữa câu hỏi và sự yêu thích. Qua bốn nghiên cứu, trong đó những người tham gia tự tham gia vào các cuộc trò chuyện hoặc đọc bản ghi lại các cuộc trò chuyện của người khác, mọi người có xu hướng không nhận ra rằng việc đặt câu hỏi sẽ ảnh hưởng—hoặc đã ảnh hưởng—mức độ thân thiện giữa những người đối thoại.