Re: "git add $ignored_file" fail

From: Linus Torvalds <torvalds@osdl.org>
Date: May 17, 2006, 20:26 UTC
Message-ID: <Pine.LNX.4.64.0605171325200.10823@g5.osdl.org>
In-Reply-To: <1147895816.30618.6.camel@dv>

On Wed, 17 May 2006, Pavel Roskin wrote:

Show 12 quoted lines

> On Wed, 2006-05-17 at 15:39 -0400, Sean wrote:
> > On Wed, 17 May 2006 15:23:06 -0400
> > Pavel Roskin <proski@gnu.org> wrote:
> > 
> > Shouldn't git just always respect the ignore rules?  Forcing someone to
> > remove a file from the .gitignore or employ the other work around
> > mentioned earlier doesn't seem too bad.  How often are people adding
> > files that are explicitly ignored?
> 
> That's a good idea!  And the implementation should be easy - if the file
> is present, but git-ls-file doesn't show it, tell the user to
> adjust .gitignore or to use some flag like --force.

Umm. That's exactly the semantics for "git add" right now. We _always_ respect the ignore rules.

That was what people were complaining about.

Although I think Santi realized why we do it, and isn't even complaining any more.

So we're all good again.

		Linus