On Thu, Sep 26, 2013 at 1:29 AM, Matthieu Moy
<matthieu....@grenoble-inp.fr> wrote:
> Hi,
> Since 64a99eb47, "git gc" creates a lock file gc.pid while running. I
> just noticed that the file is never deleted. The locking mechanism
> works, but leaving these files around creates a minor annoyance.
> For example, I run "git gc" in all my repos from time to time (in a cron
> job). It normally does nothing in repos that have not changed, but now,
> it updates the gc.pid file.
> As a result, all the gc.pid files show up in unison (synchronization
> tool between machines) for example.
> Is there any reason not to do something like this:
> --- a/builtin/gc.c
> +++ b/builtin/gc.c
> @@ -316,5 +316,6 @@ int cmd_gc(int argc, const char **argv, const char 
> *prefix)
>                 warning(_("There are too many unreachable loose objects; "
>                         "run 'git prune' to remove them."));
> +       unlink(git_path("gc.pid"));
>         return 0;
>  }
> ?

I considered this and decided it was not a big problem for another
file lying around in .git. Moreover it could provide the last gc time
to gc itself, so we could avoid running gc too often, for example no
more than one gc a day. But if it causes actual annoyance, I think
unlink() is ok.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to