[darcs-users] linux pb?

Vadim Zaliva lord at crocodile.org
Wed Mar 31 23:46:42 UTC 2004

I am getting following error message on Linux:

$ darcs push --and-apply --verbose /var/DARCS/x
Pushing to /var/DARCS/x...
About to read in the inventories...
Finished reading in the inventories...
We have the following new (to them) patches:
Shall I push this patch? [ynWvqdjk?] y
So far so good... finished merging.

Fail: setFileTimes: permission denied (Operation not permitted)

Is it known issue? Any workarounds?


"La perfection est atteinte non quand il ne reste rien a ajouter, mais
quand il ne reste rien a enlever."  (Antoine de Saint-Exupery)

More information about the darcs-users mailing list