tree 6b810bdcb9e6c569d3d0bcf6e9eb906653e14566
parent 8d1ac7a769b3fc4725537376e0e14d3b96ebbe3d
author Shawn O. Pearce <spearce@spearce.org> 1306699503 -0700
committer Shawn O. Pearce <spearce@spearce.org> 1306857525 -0700

jgit.sh: Implement pager support

If the command is either `diff` or `log`, there is often a lot of
lines of output. Run these commands through $GIT_PAGER, $PAGER, or
`less` in order to make it easier to browse the output on a terminal.

Change-Id: I18b87ea4acf404b94788f2ac2101812bd13e6a0f
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>