[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Patch] .gitignore TAGS and tags
|
From: |
Chet Ramey |
|
Subject: |
Re: [Patch] .gitignore TAGS and tags |
|
Date: |
Mon, 15 Mar 2021 16:42:37 -0400 |
|
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:78.0) Gecko/20100101 Thunderbird/78.8.1 |
On 3/15/21 3:57 PM, Mike Jonkmans wrote:
On Mon, Mar 15, 2021 at 11:23:46AM -0400, Chet Ramey wrote:
On 3/15/21 3:29 AM, Mike Jonkmans wrote:
I assume that the TAGS and tags files will not go into the repo.
Why not? This is only the devel branch; they don't go into releases.
Adding tags/TAGS to the repo would increase its size for almost no use.
Creating the tags file takes less than a second.
The size is inconsequential.
Drawback of not having these in the repo and not in .gitignore
is that a 'git status' complains about untracked files.
OK, this is a good reason.
Chet
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU chet@case.edu http://tiswww.cwru.edu/~chet/