Junio C Hamano wrote:
Johannes Schindelin <Johannes.Schindelin@xxxxxx> writes:
On Mon, 25 Dec 2006, Junio C Hamano wrote:
$ git add foo.o
$ git add '*.o'
Most people do
$ git add *.o
instead, where bash expands the expression. Maybe this new behaviour
should be hidden between a "-f" option?
When would anybody do "git add *.o"?
Make that "git add *.c" then, in a directory normally containing a lot
of generated C-files.
An alternative is to use the mechanism I added here to _detect_
the attempt to add an ignored file with explicitly spelled out
pathspec, and issue an info message that says something like:
Path 'xyzzy/filfre.o' is not being ignored by one of
your .gitignore files. If you really want to add it,
please add this entry to .gitignore file:
!/xyzzy/filfre.o
Sounds very sensible to me, although I assume you meant "path
xyzzy/filfre.o is being ignored" (ie, "is not being ignored" (sic) was a
typo).
One advantage of this is that it would help guiding the user in
the right direction, giving a reusable piece of knowledge,
without changing the behaviour of the command (what is refused
is refused). But I can already see people's complaints: if the
tool knows how to fix that situation why forces the user to do
so?
Although the reason why the alternative does not do so is "The
user earlier said *.o files are uninteresting but came back with
a conflicting request to add xyzzy/filfre.o, which could be a
mistake. We ask for a confirmation", which is very sensible,
Very sensible indeed. If you tell a cabdriver "go-left-go-right" (very
fast) he'll (hopefully) stop and ask you where you really wanted to go.
another alternative would be to add the path anyway and issue an
warning, like this:
$ ls xyzzy
filfre.c filfre.o
$ git add xyzzy/filfre.?
added ignored path xyzzy/filfre.o
I like the "you did something weird. Education served" option better.
--
Andreas Ericsson andreas.ericsson@xxxxxx
OP5 AB www.op5.se
Tel: +46 8-230225 Fax: +46 8-230231
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html