diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/utils | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/utils b/scripts/utils index a689c12..2d549e6 100644 --- a/scripts/utils +++ b/scripts/utils @@ -11,8 +11,8 @@ templateid() { basename "$(readlink -f "$0")" | sed 's/\.run$//' } -TWORKSPACE="~/workspace/$(templateid)" -[ "$(jobid)" != "$(templateid)" ] || TWORKSPACE="~/workspace/notemplate" +TWORKSPACE="$HOME/workspace/$(templateid)" +[ "$(jobid)" != "$(templateid)" ] || TWORKSPACE="$HOME/Workspace/notemplate" ## Simple echo wrappers ######################################################### echo_stage() { @@ -82,7 +82,7 @@ git_fetch_t() { _git_fetch "$1" "$2" "$3" "$TWORKSPACE/git-mirror" } git_fetch_g() { - _git_fetch "$1" "$2" "$3" "~/workspace/git-mirror" + _git_fetch "$1" "$2" "$3" "$HOME/workspace/git-mirror" } # Clones one depth given repository with given branch/tag/hash |