Re: "git add $ignored_file" fail
- From
- Pavel Roskin <proski@gnu.org>
- Date
- May 17, 2006, 19:56 UTC
- Message-ID
- <1147895816.30618.6.camel@dv>
- In-Reply-To
- <20060517153903.6b896fdd.seanlkml@sympatico.ca>
On Wed, 2006-05-17 at 15:39 -0400, Sean wrote:
Show 7 quoted lines
> 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.
Libification of git-ls-files would allow even more precise messages.
-- Regards, Pavel Roskin