diff options
Diffstat (limited to 'scripts/utils')
| -rw-r--r-- | scripts/utils | 18 |
1 files changed, 2 insertions, 16 deletions
diff --git a/scripts/utils b/scripts/utils index a955699..8781882 100644 --- a/scripts/utils +++ b/scripts/utils @@ -1,6 +1,7 @@ # vim: ft=sh +[ -n "$LAMINAR_COMMON" ] # variables definition guard -if [ "$V" -ge 2 ]; then +if [ "$V" -ge 3 ]; then set -x fi @@ -19,21 +20,6 @@ echo_fail() { return 1 } -## Job and template IDs ######################################################### -# Returns current job's id -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="$HOME/workspace/$(templateid)" -[ "$(jobid)" != "$(templateid)" ] || TWORKSPACE="$HOME/workspace/notemplate" - ## GIT ########################################################################## # Fetch bare git repository # First argument has to be a source URL |