Merge branch 'master' of git://repo.or.cz/git-gui

[git.git] / git-fetch.sh

diff --git a/git-fetch.sh b/git-fetch.sh
index 59bee5db0f0738cd6d43772e7279edf726a0b7d1..5ae0d28cc09a0b3935262a542c9811b66eb5b85e 100755 (executable)
--- a/git-fetch.sh
+++ b/git-fetch.sh
@@ -24,6 +24,8 @@ update_head_ok=
 exec=
 keep=
 shallow_depth=
+no_progress=
+test -t 1 || no_progress=--no-progress
 while case "$#" in 0) break ;; esac
 do
        case "$1" in
@@ -392,7 +394,8 @@ fetch_main () {
            git-bundle unbundle "$remote" $rref ||
            echo failed "$remote"
        else
-         git-fetch-pack --thin $exec $keep $shallow_depth "$remote" $rref ||
+         git-fetch-pack --thin $exec $keep $shallow_depth $no_progress \
+               "$remote" $rref ||
          echo failed "$remote"
        fi
       ) |