diff options
author | Linus Torvalds <torvalds@g5.osdl.org> | 2005-07-08 10:57:21 -0700 |
---|---|---|
committer | Linus Torvalds <torvalds@g5.osdl.org> | 2005-07-08 10:57:21 -0700 |
commit | b33e9666082ce692e64ccfd688dc2a5075566f75 (patch) | |
tree | c4c5637417a6e7c3e4c7d38b82e73cf4ef1c09fa /git-pull-script | |
parent | git-diff-*: support "-u" as a synonym for "-p" (diff) | |
download | tgif-b33e9666082ce692e64ccfd688dc2a5075566f75.tar.xz |
Add "git-sh-setup-script" for common git shell script setup
It sets up the normal git environment variables and a few helper
functions (currently just "die()"), and returns ok if it all looks like
a git archive. So use it something like
. git-sh-setup-script || die "Not a git archive"
to make the rest of the git scripts more careful and readable.
Diffstat (limited to 'git-pull-script')
-rwxr-xr-x | git-pull-script | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/git-pull-script b/git-pull-script index 961edc481b..0ef6be3547 100755 --- a/git-pull-script +++ b/git-pull-script @@ -1,5 +1,7 @@ #!/bin/sh # +. git-sh-setup-script || die "Not a git archive" + merge_repo=$1 merge_name=$(echo "$1" | sed 's:\.git/*$::') @@ -15,9 +17,6 @@ then merge_head="refs/${type}s/$2" fi -: ${GIT_DIR=.git} -: ${GIT_OBJECT_DIRECTORY="${SHA1_FILE_DIRECTORY-"$GIT_DIR/objects"}"} - git-fetch-script "$merge_repo" "$merge_head" || exit 1 git-resolve-script \ |