On Tue, Mar 19, 2019 at 11:18:26PM +0000, Thomas Gummerer wrote: > From a quick search I couldn't find where 'git diff' actually parses > the '-v' argument, but I wonder if we should actually disallow it, in > case we want to use it for something else in the future? It's not > documented anywhere in the docs either. It's a bit interesting, actually. git-diff uses setup_revisions() to parse its arguments, which picks up any diff options, as well as parsing the revs and pathspecs. But it also means we accept any random revision options. So nonsense like: git diff --ancestry-path HEAD^ HEAD is accepted, even though nobody ever looks at the flags set by parsing that option. And "-v" is mostly in the same boat. It works more or less like --pretty (try rev-list with and without it), and does nothing for an endpoint diff. What's a little interesting, though, is that it was originally added as a diff-tree option in the very early days, via cee99d2257 (diff-tree: add "verbose header" mode, 2005-05-06). And the reason there is that "diff-tree --stdin" filled a "log"-like role; it didn't traverse the commits itself, but it was responsible for showing them. Most of that is historical curiosity, but I think the takeaways are: - we probably should use a less bizarre option to demonstrate this bug (Junio suggested --patience, which makes perfect sense to me) - we may want to teach the "diff" porcelain not to accept useless revision options. I suspect it may be a bit tricky, just because of the way the code takes advantage of setup_revisions. It would also be nice if "diff-tree" in non-stdin mode could do the same, but I suspect that is even trickier (we do not even know whether we are in --stdin mode or not until we've fed the options to setup_revisions). So I'd guess this is not really worth the effort it would take. - "-v" is a real thing; we should consider either documenting it or deprecating it. -Peff