Re: [PATCH V3] check-ignore: Add option to ignore index contents

2013-09-06 Thread Junio C Hamano
Dave Williams writes: > On 15:27, Thu 05 Sep 13, Junio C Hamano wrote: >> Now the long option name is "--no-index", it makes me wonder if "-i" >> is a good synonym for it, and the longer I stare at it, the more >> certain I become convinced that it is a bad choice. >> > I had originally called i

Re: [PATCH V3] check-ignore: Add option to ignore index contents

2013-09-05 Thread Dave Williams
On 15:27, Thu 05 Sep 13, Junio C Hamano wrote: > Now the long option name is "--no-index", it makes me wonder if "-i" > is a good synonym for it, and the longer I stare at it, the more > certain I become convinced that it is a bad choice. > I had originally called it "--ignore-index" at which poin

Re: [PATCH V3] check-ignore: Add option to ignore index contents

2013-09-05 Thread Junio C Hamano
Dave Williams writes: > check-ignore currently shows how .gitignore rules would treat untracked > paths. Tracked paths do not generate useful output. This prevents > debugging of why a path became tracked unexpectedly unless that path is > first removed from the index with `git rm --cached `. >

[PATCH V3] check-ignore: Add option to ignore index contents

2013-09-05 Thread Dave Williams
check-ignore currently shows how .gitignore rules would treat untracked paths. Tracked paths do not generate useful output. This prevents debugging of why a path became tracked unexpectedly unless that path is first removed from the index with `git rm --cached `. This option (-i, --no-index) simp