Re: Consecutive git gc fails on Windows network share
- From
Erik Faye-Lund <kusmabite@gmail.com>
- Date
- Jan 20, 2014, 23:53 UTC
- Message-ID
- <CABPQNSafcpACtWGBenE8vAe_XEvJ=5_sxLw8PztrnWp1xJAcjw@mail.gmail.com>
- In-Reply-To
- <alpine.DEB.1.00.1401210002080.14982@s15462909.onlinehome-server.info>
On Tue, Jan 21, 2014 at 12:25 AM, Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:
Show 13 quoted lines
> > On Mon, 20 Jan 2014, Torsten Bögershausen wrote: > >> b) add "+++" at the places where you added the stat() and chmod(), >> c) and to send the question "is this a good implementation ?" to upstream git. >> >> I think your implementation makes sense. > > As I said in my other reply, I think that the problem would be addressed > more generally in compat/mingw.c. It is to be doubted highly that upstream > wants to handle cases such as "rename() cannot overwrite read-only files > on Windows" everywhere they call rename() because the platforms upstream > cares about do not have that problem.
I'm not so sure. A quick test shows me that this is not the case for NTFS. Since this is over a network-share, the problem is probably server-side, and can affect other systems as well.
So a work-around might be appropriate for all systems, no?
-- -- *** Please reply-to-all at all times *** *** (do not pretend to know who is subscribed and who is not) *** *** Please avoid top-posting. *** The msysGit Wiki is here: https://github.com/msysgit/msysgit/wiki - Github accounts are free. You received this message because you are subscribed to the Google Groups "msysGit" group. To post to this group, send email to msysgit@googlegroups.com To unsubscribe from this group, send email to msysgit+unsubscribe@googlegroups.com For more options, and view previous threads, visit this group at http://groups.google.com/group/msysgit?hl=en_US?hl=en --- You received this message because you are subscribed to the Google Groups "msysGit" group. To unsubscribe from this group and stop receiving emails from it, send an email to msysgit+unsubscribe@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.