I don't think VS is locking the files. Instead, VS has the file open
and will write back to the file as you do things.
Depending on how VS does this, file contents can get confused.

Some of this problem must be blamed on the stupid way VS manages
projects. It would be sane so separate build and project information
from session information. VS does not; one file holds the project info
as well as your session state (which files/tabs are open etc).


On Wed, Oct 31, 2012 at 3:19 AM, Ben Moxon <glenat...@gmail.com> wrote:
> Sometimes if I have a solution open in Visual Studio when I pull from Git (
> a common situation in this type of development environment ) it seems that
> Visual Studio will have certain files locked so that Git fails to overwrite
> them.
>
> When that happens Git doesn't seem to care- it continues the pull and
> considers my local repository to be up to date. However as the files that it
> hasn't been able to write ( usually .csproj files ) have not been updated,
> nothing will build in Visual Studio or, worse, everything will build but
> some new quirky bugs will have been added or files are missing from the
> project causing unpredictable outcomes.
>
> It would be more useful to me if Git was to fail and rollback the pull if
> there are files it cannot overwrite, rather than just ignoring it. I am
> guessing that this is configurable somewhere but I can't seem to find what
> to search for - can anyone suggest what I need to do?
>
> ( if anyone has a good answer to this and wants to win imaginary internet
> cookies for their response, I have asked the same thing over on SE:
> http://stackoverflow.com/questions/13087597/force-git-pull-to-fail-if-a-file-is-locked-by-another-process
> )
>
> --
> You received this message because you are subscribed to the Google Groups
> "Git for human beings" group.
> To view this discussion on the web visit
> https://groups.google.com/d/msg/git-users/-/qR_nKzcedNYJ.
> To post to this group, send email to git-users@googlegroups.com.
> To unsubscribe from this group, send email to
> git-users+unsubscr...@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/git-users?hl=en.

-- 
You received this message because you are subscribed to the Google Groups "Git 
for human beings" group.
To post to this group, send email to git-users@googlegroups.com.
To unsubscribe from this group, send email to 
git-users+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/git-users?hl=en.

Reply via email to