Pipe to pager if stdout is a terminal
or to `cat -` to allow redirection.
export from_commit to_commit
# In the superproject
-git --no-pager diff --name-only "$from_commit" "$to_commit"
+{ git --no-pager diff --name-only "$from_commit" "$to_commit"
git submodule foreach '
# In submodule "$name"
prev_commit=`(git -C "$toplevel" ls-tree "$from_commit" "$sm_path" | awk "{print \\$3}")`
curr_commit=`(git -C "$toplevel" ls-tree "$to_commit" "$sm_path" | awk "{print \\$3}")`
git --no-pager diff --name-only $prev_commit $curr_commit
-'
+'; } | { test -t 1 && ${PAGER:-less} || cat -; }