summaryrefslogtreecommitdiff
path: root/scripts/utils
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/utils')
-rw-r--r--scripts/utils46
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