nihilist/tor
1
0
Fork 0
mirror of https://gitlab.torproject.org/tpo/core/tor.git synced 2024-11-10 21:23:58 +01:00
Code Issues Packages Projects Releases Wiki Activity

scripts/git: Add TOR_EXTRA_CLONE_ARGS for git clone

Browse Source 
When running git-setup-dirs.sh.

Part of 32347.
This commit is contained in:
teor 2019-10-31 14:25:43 +10:00
parent 995618ec61
commit 38e8cca6a1
No known key found for this signature in database
GPG Key ID: 10FEAA0E7075672A
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
scripts/git/git-setup-dirs.sh
View File

@ -40,6 +40,8 @@ function usage()
echo " (current: $GITHUB_PULL)" echo " (current: $GITHUB_PULL)"
echo " TOR_GITHUB_PUSH: the tor-github remote push URL" echo " TOR_GITHUB_PUSH: the tor-github remote push URL"
echo " (current: $GITHUB_PUSH)" 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" 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. # If the directory already exists: fail if $USE_EXISTING is 0, otherwise skip.
function clone_repo 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" printf " %s Cloning %s into %s..." "$MARKER" "$1" "$2"
local check_cmd="[ ! -d '$2' ]" local check_cmd="[ ! -d '$2' ]"
msg=$( eval "$check_cmd" 2>&1 ) msg=$( eval "$check_cmd" 2>&1 )