diff options
| author |  Han-Wen Nienhuys <hanwen@google.com> | 2021-02-23 16:57:23 +0000 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2021-02-23 10:01:21 -0800 |
| commit | 00f68732e5371d6cc5bb17fbd2fa99c8786571da (patch) | |
| tree | 22bf83a1c272d5c460062ef9ecf0cd00c25336c3 /Documentation/MyFirstObjectWalk.txt | |
| parent | The tenth batch (diff) | |
| download | tgif-00f68732e5371d6cc5bb17fbd2fa99c8786571da.tar.xz | |
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>
Diffstat (limited to 'Documentation/MyFirstObjectWalk.txt')
0 files changed, 0 insertions, 0 deletions