Re: "git add $ignored_file" fail

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: May 17, 2006, 11:08 UTC
Message-ID: <Pine.LNX.4.63.0605171306400.19012@wbgn013.biozentrum.uni-wuerzburg.de>
In-Reply-To: <8aa486160605161542u704ccf03w@mail.gmail.com>

On Wed, 17 May 2006, Santi wrote:

Show 16 quoted lines

> 2006/5/17, Linus Torvalds <torvalds@osdl.org>:
> > 
> > 
> > On Wed, 17 May 2006, Santi wrote:
> > >
> > >      When you try to add ignored files with the git-add command it
> > > fails [...]
> > >
> > [...]
> >
> > So it's consistent that it overrides it also for a single filename case,
> > no?
> > 
> 
> It's consistent from an implementation point of view, but not from the
> (my?) user point of view.

So, you told git to ignore the file. And then you say "please add it". I find it highly consistent that git does not do anything, because *you* decided it should ignore it in the first place.

Ciao, Dscho