]> git.ipfire.org Git - thirdparty/git.git/commit - Documentation/technical/reftable.txt
doc/reftable: document how to handle windows
authorHan-Wen Nienhuys <hanwen@google.com>
Tue, 23 Feb 2021 16:57:23 +0000 (16:57 +0000)
committerJunio C Hamano <gitster@pobox.com>
Tue, 23 Feb 2021 18:01:21 +0000 (10:01 -0800)
commit00f68732e5371d6cc5bb17fbd2fa99c8786571da
tree22bf83a1c272d5c460062ef9ecf0cd00c25336c3
parent966e671106b2fd38301e7c344c754fd118d0bb07
doc/reftable: document how to handle windows

On Windows we can't delete or overwrite files opened by other processes. Here we
sketch how to handle this situation.

We propose to use a random element in the filename. It's possible to design an
alternate solution based on counters, but that would assign semantics to the
filenames that complicates implementation.

Signed-off-by: Han-Wen Nienhuys <hanwen@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/technical/reftable.txt