diff options
| author |  Christian Couder <christian.couder@gmail.com> | 2017-03-06 10:41:58 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2017-03-06 12:09:28 -0800 |
| commit | b968372279d5c50df17f26afd9a9905285a73f37 (patch) | |
| tree | ca6a417b4b5625bb7b2c05c23f8fd58583fd28fe /gitk-git/po/hu.po | |
| parent | config: add git_config_get_expiry() from gc.c (diff) | |
| download | tgif-b968372279d5c50df17f26afd9a9905285a73f37.tar.xz | |
read-cache: unlink old sharedindex files
Everytime split index is turned on, it creates a "sharedindex.XXXX"
file in the git directory. This change makes sure that shared index
files that haven't been used for a long time are removed when a new
shared index file is created.
The new "splitIndex.sharedIndexExpire" config variable is created
to tell the delay after which an unused shared index file can be
deleted. It defaults to "2.weeks.ago".
A previous commit made sure that each time a split index file is
created the mtime of the shared index file it references is updated.
This makes sure that recently used shared index file will not be
deleted.
Signed-off-by: Christian Couder <chriscool@tuxfamily.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'gitk-git/po/hu.po')
0 files changed, 0 insertions, 0 deletions