From 3921e81ee50feb04d6d4e37639766257de17c60e Mon Sep 17 00:00:00 2001 From: Jesusaves Date: Sat, 24 Mar 2018 16:52:59 -0300 Subject: Allow repository to have any name, without causing pipelines to fail. --- .tools/scripts/init.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.tools/scripts/init.sh b/.tools/scripts/init.sh index 6effb177..378219eb 100755 --- a/.tools/scripts/init.sh +++ b/.tools/scripts/init.sh @@ -154,9 +154,9 @@ function make_server { function do_init_data { mkdir shared + rm -rf ../server-data + cp -r . ../server-data cd .. - rm -rf server-data - cp -r serverdata server-data ls -la server-data check_error $? } -- cgit v1.2.3-70-g09d2