Hi Andy,

I am sorry to hear about your problems. The error message is produced by git, but it definitely should not occur. Maybe you can send me the output produced by

> cypm -v debug update

so that I can look at it to find some reason.

Concerning cleaning a strange CPM state, you might have a look into Sect. 11 of CPM's manual. The easiest thing is to remove all CPM-relevant files by

> rm -rf .cpmrc $HOME/.cpm

and then try the update command. I hope this helps.

Best regards,

Michael

On 4/3/19 7:30 PM, Andy Jost wrote:

I’ve had nothing but trouble with cypm.  It seems to be required for a certain package I want to use, but even the most basic commands fail, e.g.:

% cypm update

fatal: destination path '.' already exists and is not an empty directory.

CRITICAL  Failed to update git repository, return code 128

Others are able to build the package in question, so I’d like to start over.

I’d like to remove all traces of cypm and even Curry (pakcs, kics2) from my system (Ubuntu) and start from scratch.  How should I go about doing that?  Or are there other recommendations for how to approach this.

-Andy

---

curry mailing list -- curry@lists.rwth-aachen.de To unsubscribe send an email to curry-leave@lists.rwth-aachen.de https://lists.rwth-aachen.de/postorius/lists/curry.lists.rwth-aachen.de