tor

commit 0635170cf14c3b622ee9fdf67ea81f4e564dd39d
parent bbddda3a185f507314f4f4d5e1a1060f3d9bc5e5
Author: Nick Mathewson <nickm@torproject.org>
Date:   Mon, 10 Jun 2019 09:05:26 -0400

Add an environment variable to set GIT_PATH in git scripts

Diffstat:
M
scripts/git/git-merge-forward.sh
 | 
2
+-
M
scripts/git/git-pull-all.sh
 | 
2
+-

2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/scripts/git/git-merge-forward.sh b/scripts/git/git-merge-forward.sh
@@ -14,7 +14,7 @@
 #     ... which means that the tor worktrees are in /home/<user>/git/tor-wkt
 
 # Where are all those git repositories?
-GIT_PATH="FULL_PATH_TO_GIT_REPOSITORY_DIRECTORY"
+GIT_PATH=${TOR_FULL_GIT_PATH:-"FULL_PATH_TO_GIT_REPOSITORY_DIRECTORY"}
 # The tor master git repository directory from which all the worktree have
 # been created.
 TOR_MASTER_NAME="tor"
diff --git a/scripts/git/git-pull-all.sh b/scripts/git/git-pull-all.sh
@@ -14,7 +14,7 @@
 #     ... which means that the tor worktrees are in /home/<user>/git/tor-wkt
 
 # Where are all those git repositories?
-GIT_PATH="FULL_PATH_TO_GIT_REPOSITORY_DIRECTORY"
+GIT_PATH=${TOR_FULL_GIT_PATH:-"FULL_PATH_TO_GIT_REPOSITORY_DIRECTORY"}
 # The tor master git repository directory from which all the worktree have
 # been created.
 TOR_MASTER_NAME="tor"