Thorsten Glaser <t.glaser@xxxxxxxxx> writes: > On Thu, 14 Jul 2016, Junio C Hamano wrote: > >> Can't this become simpler, e.g. >> >> if ! git diff-tree --quiet "$old" "$new" -- "$subdir" > > Thought about diff-tree, but additions are permitted, diff-tree -r --diff-filter=a "$old" "$new" -- "$subdir" or something like that? > and diffing the actual file content has overhead too. It is why exactly "diff-tree" is desired here, as you do not have to diff actual file at all. -- 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