Re: [PATCH] doc: remove "directory cache" from man pages
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jan 10, 2021, 06:58 UTC
- Message-ID
- <xmqq5z45cm7o.fsf@gitster.c.googlers.com>
- In-Reply-To
- <X/i4EMmpCzFVtDiT@nand.local>
Taylor Blau <me@ttaylorr.com> writes:
Show 16 quoted lines
> On Fri, Jan 08, 2021 at 02:51:05PM -0500, Utku wrote: >> On the other hand, the document clearly states that the terms "directory >> cache" and "cache" have been obsoleted by "index", so there is no source >> of confusion there. On the man pages, there was, which was the reason I >> felt the need to make this change. I thought that keeping at least one >> definition of "directory cache" (where this definition clearly states >> that it is an obsolete term for "index") would be helpful. >> >> So what are your thoughts about it? If you think it is better to remove >> it, please let me know and I will remove it. > > I think that is a good reason to leave it as-is. Since you hadn't > mentioned it in the patch text, I was wondering whether it was an > omission, or you had intended to leave it that way. > > This patch looks good to me as-is.
Yup, I agree with the reasoning to keep the "older documentation may say dircache". Will queue. Thanks.