[darcs-devel] [issue1745] darcs add ... fails in Virtual Box shared directory

Dan Frumin bugs at darcs.net
Wed Jul 15 08:32:44 UTC 2015


Dan Frumin <difrumin at gmail.com> added the comment:

Sorry, I should perhaps noted it in my comment, but I don't think the host
os or guest os plays a big role in this. This also happens in my setup
where I run Linux inside VirtualBox running on OSX.


On Wed, Jul 15, 2015 at 11:28 AM, Ben Franksen <bugs at darcs.net> wrote:

>
> Ben Franksen <benjamin.franksen at helmholtz-berlin.de> added the comment:
>
> I see that in src/Darcs/Repository/State.hs there is some conditional
> compilation around the relevant code:
> #if mingw32_HOST_OS
>        renameFile (darcsdir </> "index") (darcsdir </> "index.old")
> #else
>        removeFile $ darcsdir </> "index"
> #endif
> Perhaps this is not enough in case the machine is a VM hosted by
> Windows? Could we find a solution here that works for all file systems?
>
> Failing that, we should test whether renameFile works when darcs starts
> up and set a global variable accordingly, then base the decision on the
> result of that test, rather than fixing it at compile time.
>
> Another (simpler) solution would be to make the behavior configurable
> with an environment variable.
>
> __________________________________
> Darcs bug tracker <bugs at darcs.net>
> <http://bugs.darcs.net/issue1745>
> __________________________________
> _______________________________________________
> darcs-devel mailing list
> darcs-devel at darcs.net
> http://lists.osuosl.org/mailman/listinfo/darcs-devel
>

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue1745>
__________________________________
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20150715/250400bd/attachment.html>


More information about the darcs-devel mailing list