3 Dec
2013
3 Dec
'13
1:17 a.m.
On 12/03/2013 02:01 AM, Edward Diener wrote:
On 12/2/2013 7:08 PM, Bjørn Roald wrote:
On 12/03/2013 12:39 AM, Edward Diener wrote:
I assume then that git never deletes a file and recreates it with the same name when the file is updated, else the hardlink would no longer be pointing to the same file and the purpose of having a hardlink, as opposed to a symbolic link, would be defeated.
Right, that is what we need too know figure out - I don't know, but thinking about it I would not be surprised if use of hardlinks here is a very bad idea as it may be too much to expect of tools like git to always in-place copy everything if target is a link. -- Bjørn