From 38e8cca6a1d44d0edd6fcc9a6e40eadb6e91d789 Mon Sep 17 00:00:00 2001
From: teor <teor@torproject.org>
Date: Thu, 31 Oct 2019 14:25:43 +1000
Subject: [PATCH] scripts/git: Add TOR_EXTRA_CLONE_ARGS for git clone
When running git-setup-dirs.sh.
Part of 32347.
---
scripts/git/git-setup-dirs.sh | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/scripts/git/git-setup-dirs.sh b/scripts/git/git-setup-dirs.sh
index a1e465818d..12355af8da 100755
--- a/scripts/git/git-setup-dirs.sh
+++ b/scripts/git/git-setup-dirs.sh
@@ -40,6 +40,8 @@ function usage()
echo " (current: $GITHUB_PULL)"
echo " TOR_GITHUB_PUSH: the tor-github remote push URL"
echo " (current: $GITHUB_PUSH)"
+ echo " TOR_EXTRA_CLONE_ARGS: extra arguments to git clone"
+ echo " (current: $TOR_EXTRA_CLONE_ARGS)"
echo " we recommend that you set these env vars in your ~/.profile"
}
@@ -288,7 +290,7 @@ function goto_dir
# If the directory already exists: fail if $USE_EXISTING is 0, otherwise skip.
function clone_repo
{
- local cmd="git clone '$1' '$2'"
+ local cmd="git clone $TOR_EXTRA_CLONE_ARGS '$1' '$2'"
printf " %s Cloning %s into %s..." "$MARKER" "$1" "$2"
local check_cmd="[ ! -d '$2' ]"
msg=$( eval "$check_cmd" 2>&1 )
--
GitLab