[darcs-devel] [issue2668] createDirectory: permission denied (Permission denied)
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
> 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