git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH] gc: remove gc.pid file at end of execution

From
Junio C Hamano <gitster@pobox.com>
Date
Oct 16, 2013, 21:38 UTC
Message-ID
<xmqqeh7k6glt.fsf@gitster.dls.corp.google.com>
In-Reply-To
<20130928003319.GR9464@google.com>
Jonathan Nieder <jrnieder@gmail.com> writes:
Show 7 quoted lines
> Matthieu Moy wrote:
>
>> This file isn't really harmful, but isn't useful either, and can create
>> minor annoyance for the user:
>
> Would something like the following make sense, to ensure the gc.pid file is
> always removed on normal exit?
Has anything further happened to this discussion?
Previous: Duy NguyenNext: Jonathan Nieder
Message 4 of 5 in “gc: remove gc.pid file at end of execution”
  1. gc: remove gc.pid file at end of executionMatthieu Moy, Sep 26, 2013
  2. Jonathan NiederSep 28, 2013
  3. Duy NguyenSep 28, 2013
  4. Junio C HamanoOct 16, 2013
  5. gc: remove gc.pid file at end of executionJonathan Nieder, Oct 16, 2013

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.