On Fri, Jun 28, 2013 at 07:33:21PM +0530, Ramkumar Ramachandra wrote: > Ramkumar Ramachandra wrote: > >> + __git_complete_index_file "--with-tree=HEAD --cached --deleted" > > > > Might as well go all the way with "--cached --deleted --unmerged > > --others" no? What is the point of --with-tree=HEAD? > > Ugh, --deleted doesn't work as advertised (terrible documentation).
Why not? In my experiments it worked well, as you can see in my previous emails. What behavior did you observe which differs from the advertised? > The minimally correct combination we need seems to be > "--with-tree=HEAD --cached --others". Yeah, once we use '--with-tree=HEAD' we don't need '--deleted' anymore. Gábor -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
