diff options
| author | Nick Mathewson <nickm@torproject.org> | 2019-06-10 09:05:26 -0400 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2019-06-10 09:05:26 -0400 |
| commit | 0635170cf14c3b622ee9fdf67ea81f4e564dd39d (patch) | |
| tree | 395821bf58e7228b977ab468195e59746b512894 /scripts | |
| parent | bbddda3a185f507314f4f4d5e1a1060f3d9bc5e5 (diff) | |
| download | tor-0635170cf14c3b622ee9fdf67ea81f4e564dd39d.tar.gz tor-0635170cf14c3b622ee9fdf67ea81f4e564dd39d.zip | |
Add an environment variable to set GIT_PATH in git scripts
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/git/git-merge-forward.sh | 2 | ||||
| -rwxr-xr-x | 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 index 98ad07c9cc..15af6f3dba 100755 --- 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 index ec8511d275..6fe7e59812 100755 --- 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" |