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_at_lists.rwth-aachen.de
> To unsubscribe send an email to curry-leave_at_lists.rwth-aachen.de
> https://lists.rwth-aachen.de/postorius/lists/curry.lists.rwth-aachen.de
>
_______________________________________________
curry mailing list -- curry_at_lists.rwth-aachen.de
To unsubscribe send an email to curry-leave_at_lists.rwth-aachen.de
https://lists.rwth-aachen.de/postorius/lists/curry.lists.rwth-aachen.de
Received on Do Apr 04 2019 - 13:04:29 CEST