From 50e5df74f06836aed205cfc9428a4428b334df6d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Wed, 29 Aug 2018 19:06:05 +0200
Subject: Add better support for template specific workspace

---
 scripts/utils | 46 +++++++++++++++++++++++++++++++++++-----------
 1 file changed, 35 insertions(+), 11 deletions(-)

(limited to 'scripts/utils')

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
-- 
cgit v1.2.3