From: Sergey Vlasov Date: Wed, 14 Sep 2005 12:47:37 GMT Subject: [PATCH 3/4] git-fetch: Add --recover option Message-ID: <20050914124737.GF24405@master.mivlgu.local> In-Reply-To: <20050914124206.GC24405@master.mivlgu.local> Make git-fetch accept the --recover option and pass it to git-http-fetch (for other protocols this option is ignored). --- I would add the documentation in the same patch, but noticed that other options of git-fetch were not documented, so I made a separate patch which documents all of them. git-fetch.sh | 6 +++++- 1 files changed, 5 insertions(+), 1 deletions(-) e19be8e89d20745918c76c4b587c286cef88d023 diff --git a/git-fetch.sh b/git-fetch.sh --- a/git-fetch.sh +++ b/git-fetch.sh @@ -8,6 +8,7 @@ _x40="$_x40$_x40$_x40$_x40$_x40$_x40$_x4 append= force= update_head_ok= +recover_option= while case "$#" in 0) break ;; esac do case "$1" in @@ -22,6 +23,9 @@ do --update-head-o|--update-head-ok) update_head_ok=t ;; + -r|--r|--re|--rec|--reco|--recov|--recove|--recover) + recover_option="--recover" + ;; *) break ;; @@ -179,7 +183,7 @@ do expr "$head" : "$_x40\$" >/dev/null || die "Failed to fetch $remote_name from $remote" echo Fetching "$remote_name from $remote" using http - git-http-fetch -v -a "$head" "$remote/" || exit + git-http-fetch -v -a $recover_option "$head" "$remote/" || exit ;; rsync://*) TMP_HEAD="$GIT_DIR/TMP_HEAD"