Puncte:0

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”

drapel in

Am instalat din greșeală același pachet de două ori:

$ unde este agda
agda: /home/me/.local/bin/agda /home/me/.cabal/bin/agda

Nu îl pot elimina cu sudo apt:

$ sudo apt remove agda
Citirea listelor de pachete... Gata
Construirea arborelui de dependență       
Citirea informațiilor despre stare... Gata
Pachetul „agda” nu este instalat, deci nu este eliminat

Am intrat într-unul dintre directoarele pachetului și am încercat

$ sudo make uninstall
make: *** Nicio regulă pentru a face ținta „dezinstalare”. Stop.

Cum pot scăpa complet de aceste pachete?

drapel in
https://plfa.github.io/GettingStarted/#install-plfa-and-the-agda-standard-library
drapel in
stack install --stack-yaml stack-8.8.3.yaml
user535733 avatar
drapel cn
Editați aceste informații în întrebarea dvs. de mai sus. Nu îngropați informații importante în comentarii. Faceți întrebarea clară: se pare că căutați cum să dezinstalați software-ul pe care l-ați instalat folosind comanda `stiva`. Google sugerează să vă uitați la https://stackoverflow.com/questions/38636436/how-to-uninstall-a-haskell-package-installed-with-stack
David avatar
drapel cn
Este Ubuntu, dacă da, ce versiune?
drapel in
versiunea este 18.04
drapel in
@user535733 de ce mi-ați dat feedback negativ întrebării mele?
user535733 avatar
drapel cn
V-am oferit feedback *constructiv* întrebării dvs., pentru a vă ajuta să răspundeți la întrebare. Întrebările de mai bună calitate conduc direct la un ajutor mai bun pentru dvs.
drapel in
Feedback-ul pe care l-ați dat nu a fost de ajutor. Nu cred că ai citit-o. Mulțumesc că ai încercat, dar nu postați feedback doar de dragul de a posta ceva.
N0rbert avatar
drapel zw
Ce este agda? Cum a fost instalat? De ce crezi că a fost instalat de la APT?

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.