[darcs-devel] [issue2668] createDirectory: permission denied (Permission denied)

Ben Franksen bugs at darcs.net
Fri Dec 4 07:01:06 UTC 2020

Ben Franksen <ben.franksen at online.de> added the comment:

> - the patch was correctly recorded, but darcs issued a 'Failed to record 
>    patch' message
> - a failure in the patch index update caused the post-hook to not be 
>    run
> I'm a bit unsure about the latter, but my feelings is that a failure in 
> the patch-index should not cause the above.

I agree. Updating the patch index is not essential which is why we do
after we have finalized our repo changes; so we should catch IO errors,
report them, and then succeed.

Darcs bug tracker <bugs at darcs.net>

More information about the darcs-devel mailing list