diff options
author | Jesusaves <cpntb1@ymail.com> | 2018-03-25 16:51:17 -0400 |
---|---|---|
committer | gumi <git@gumi.ca> | 2018-03-25 17:27:33 -0400 |
commit | 187344a0e4192f8d47e9d6cca25024e2d9007ce8 (patch) | |
tree | 1341a2edbbaf8d4f362c078899a287a34126f181 | |
parent | c096abdf9802171570b7ae961a6abbfc8aad68bf (diff) | |
download | serverdata-187344a0e4192f8d47e9d6cca25024e2d9007ce8.tar.gz serverdata-187344a0e4192f8d47e9d6cca25024e2d9007ce8.tar.bz2 serverdata-187344a0e4192f8d47e9d6cca25024e2d9007ce8.tar.xz serverdata-187344a0e4192f8d47e9d6cca25024e2d9007ce8.zip |
allow the git repo to have any name
-rwxr-xr-x | .tools/scripts/init.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 $? } |