diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/utils | 46 |
1 files changed, 35 insertions, 11 deletions
diff --git a/scripts/utils b/scripts/utils index 4f8fbec..a689c12 100644 --- a/scripts/utils +++ b/scripts/utils @@ -5,6 +5,15 @@ jobid() { basename "$0" | sed 's/\.run$//' } +# Return current template's id +# If this is not template then this returns job's id +templateid() { + basename "$(readlink -f "$0")" | sed 's/\.run$//' +} + +TWORKSPACE="~/workspace/$(templateid)" +[ "$(jobid)" != "$(templateid)" ] || TWORKSPACE="~/workspace/notemplate" + ## Simple echo wrappers ######################################################### echo_stage() { echo -e "\033[1;34m========== $@ ==========\033[0m ($(date))" >&2 @@ -38,27 +47,42 @@ _check_trap() { } ################################################################################# -# Fetch bare git repository to WORKSPACE +# Fetch bare git repository # First argument has to be a source URL -# Second argument is name of directory to which will be repository cloned to. +# Second argument is path to directory to which will be repository cloned to. git_fetch_bare() { - if [ -d "$WORKSPACE/$2" ]; then - git --git-dir="$WORKSPACE/$2" --bare remote update --prune + if [ -d "$2" ]; then + git --git-dir="$2" --bare remote update --prune else - git clone --mirror "$1" "$WORKSPACE/$2" + git clone --mirror "$1" "$2" fi } -# Calls git_fetch_bare and then creates detached work tree in run directory +# Common function for git_fetch_{w,g} +# Additional fourth argument should be base path to git mirror +_git_fetch() { + local BRANCH="$3" + [ -n "$BRANCH" ] || BRANCH=master + git_fetch_bare "$1" "$4/$2" + git --git-dir="$4/$2" --bare worktree add --detach "$2" "$BRANCH" +} + +# Fetch git repository with mirror +# _w: mirror is in WORKSPACE +# _t: mirror is in TWORKSPACE +# _g: mirror is in global workspace # First agument has to be a source URL # Second argument is name of directory to which will be directory cloned in. # Second argument is optional and should be branch name (master is used if not # provided). -git_fetch() { - git_fetch_bare "$1" "$2" - local BRANCH="$3" - [ -n "$BRANCH" ] || BRANCH=master - git --git-dir="$WORKSPACE/$2" --bare worktree add --detach "$2" "$BRANCH" +git_fetch_w() { + _git_fetch "$1" "$2" "$3" "$WORKSPACE/git-mirror" +} +git_fetch_t() { + _git_fetch "$1" "$2" "$3" "$TWORKSPACE/git-mirror" +} +git_fetch_g() { + _git_fetch "$1" "$2" "$3" "~/workspace/git-mirror" } # Clones one depth given repository with given branch/tag/hash |