Điểm:0

Ubuntu

Xóa cài đặt gói trùng lặp, khi "Gói [] chưa được cài đặt, vì vậy không bị xóa" và thực hiện: *** Không có quy tắc nào để tạo mục tiêu 'gỡ cài đặt'

Peter

03:20, 16/01/2023

Tôi đã vô tình cài đặt cùng một gói hai lần:

$ whereis agda
agda: /home/me/.local/bin/agda /home/me/.cabal/bin/agda

Tôi không thể xóa nó bằng sudo apt:

$ sudo apt xóa agda
Đọc danh sách gói... Xong
Xây dựng cây phụ thuộc       
Đang đọc thông tin trạng thái... Xong
Gói 'agda' chưa được cài đặt, vì vậy không bị xóa

Tôi đã vào một trong các thư mục gói và thử

$ sudo thực hiện gỡ cài đặt
thực hiện: *** Không có quy tắc nào để tạo mục tiêu 'gỡ cài đặt'. Dừng lại.

Làm cách nào tôi có thể loại bỏ hoàn toàn các gói này?

0 + 0

quản lý gói

Peter

04:07, 16/01/2023

https://plfa.github.io/GettingStarted/#install-plfa-and-the-agda-standard-library

Hồi đáp

Peter

04:07, 16/01/2023

cài đặt ngăn xếp --stack-yaml stack-8.8.3.yaml

Hồi đáp

user535733

04:14, 16/01/2023

Chỉnh sửa thông tin đó trong Câu hỏi của bạn ở trên. Đừng chôn thông tin quan trọng trong các bình luận. Làm rõ câu hỏi của bạn: Có vẻ như bạn đang tìm cách gỡ cài đặt phần mềm mà bạn đã cài đặt bằng lệnh `stack`. Google khuyên bạn nên xem https://stackoverflow.com/questions/38636436/how-to-uninstall-a-haskell-package-install-with-stack

Hồi đáp

David

05:26, 16/01/2023

Đây có phải là Ubuntu nếu vậy phiên bản nào?

Hồi đáp

Peter

14:07, 16/01/2023

phiên bản là 18.04

Hồi đáp

Peter

14:11, 16/01/2023

@ user535733 tại sao bạn lại đưa ra phản hồi tiêu cực cho câu hỏi của tôi?

Hồi đáp

user535733

15:32, 16/01/2023

Tôi đã đưa ra phản hồi *mang tính xây dựng* cho câu hỏi của bạn để giúp làm cho câu hỏi của bạn có thể trả lời được. Câu hỏi chất lượng tốt hơn dẫn trực tiếp đến trợ giúp tốt hơn cho bạn.

Hồi đáp

Peter

15:38, 16/01/2023

Phản hồi bạn đưa ra không giúp được gì. Tôi không nghĩ rằng bạn đọc nó. Cảm ơn bạn đã cố gắng nhưng đừng đăng phản hồi chỉ vì mục đích đăng nội dung nào đó.

Hồi đáp

N0rbert

18:21, 16/01/2023

Agda là gì? Làm thế nào nó đã được cài đặt? Tại sao bạn nghĩ rằng nó đã được cài đặt từ APT?

Hồi đáp

Phan Văn Trường

Câu hỏi này là trong các ngôn ngữ khác:

EN: Remove duplicate package installation, when "Package [] is not installed, so not removed" and make: *** No rule to make target 'uninstall'

TH: ลบการติดตั้งแพ็คเกจที่ซ้ำกัน เมื่อ "ไม่ได้ติดตั้งแพ็คเกจ [] จึงไม่ถูกลบ" และสร้าง: *** ไม่มีกฎที่จะทำให้เป้าหมาย 'ถอนการติดตั้ง'

RO: Eliminați instalarea pachetului duplicat, când „Pachetul [] nu este instalat, deci nu este eliminat” și faceți: *** Nicio regulă pentru a face ținta „dezinstalare”

RU: Б: EV=b

VI: Xóa cài đặt gói trùng lặp, khi "Gói [] chưa được cài đặt, vì vậy không bị xóa" và thực hiện: *** Không có quy tắc nào để tạo mục tiêu 'gỡ cài đặt'

Đă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.