From 187344a0e4192f8d47e9d6cca25024e2d9007ce8 Mon Sep 17 00:00:00 2001 From: Jesusaves Date: Sun, 25 Mar 2018 16:51:17 -0400 Subject: allow the git repo to have any name --- .tools/scripts/init.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.tools/scripts/init.sh b/.tools/scripts/init.sh index 6effb177..d6af8a5b 100755 --- a/.tools/scripts/init.sh +++ b/.tools/scripts/init.sh @@ -156,7 +156,7 @@ function do_init_data { mkdir shared cd .. rm -rf server-data - cp -r serverdata server-data + cp -r ${CI_PROJECT_NAME:=serverdata} server-data ls -la server-data check_error $? } -- cgit v1.2.3-70-g09d2