git request-pull called inside a terminal prints part of the output to the terminal and other parts are piped through the pager. Fix this. Signed-off-by: Michal Marek <mmarek@xxxxxxx> --- git-request-pull.sh | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-) diff --git a/git-request-pull.sh b/git-request-pull.sh index a2cf5b8..b3aaded 100755 --- a/git-request-pull.sh +++ b/git-request-pull.sh @@ -34,7 +34,7 @@ branch=$(git ls-remote "$url" \ }") if [ -z "$branch" ]; then echo "warn: No branch of $url is at:" >&2 - git log --max-count=1 --pretty='format:warn: %h: %s' $headrev >&2 + git --no-pager log --max-count=1 --pretty='tformat:warn: %h: %s' $headrev >&2 echo "warn: Are you sure you pushed $head there?" >&2 echo >&2 echo >&2 @@ -45,13 +45,13 @@ fi PAGER= export PAGER echo "The following changes since commit $baserev:" -git shortlog --max-count=1 $baserev | sed -e 's/^\(.\)/ \1/' +git --no-pager shortlog --max-count=1 $baserev | sed -e 's/^\(.\)/ \1/' echo "are available in the git repository at:" echo echo " $url $branch" echo -git shortlog ^$baserev $headrev -git diff -M --stat --summary $merge_base $headrev +git --no-pager shortlog ^$baserev $headrev +git --no-pager diff -M --stat --summary $merge_base $headrev exit $status -- 1.6.3 -- 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