use new git urls

This commit is contained in:
j 2019-01-18 15:48:35 +05:30
parent cdebd7f1e4
commit 0557e7051e

6
ctl
View file

@ -184,10 +184,10 @@ if [ "$1" == "ui" ]; then
fi
if [ "$1" == "init" ]; then
if [ ! -e "${BASE}/platform" ]; then
git clone --depth 1 https://git.0x2620.org/openmedialibrary_platform.git "${BASE}/platform"
git clone --depth 1 https://code.0x2620.org/0x2620/openmedialibrary_platform.git "${BASE}/platform"
fi
if [ ! -e "${PLATFORM_ENV}" ]; then
git clone --depth 1 https://git.0x2620.org/openmedialibrary_platform_${PLATFORM}.git "${PLATFORM_ENV}"
git clone --depth 1 https://code.0x2620.org/0x2620/openmedialibrary_platform_${PLATFORM}.git "${PLATFORM_ENV}"
fi
cd "${BASE}"
if [ ! -e "${BASE}/ctl" ]; then
@ -199,7 +199,7 @@ fi
if [ "$1" == "update" ]; then
cd "$BASE/$NAME"
if [ ! -e "${PLATFORM_ENV}" ]; then
git clone --depth 1 https://git.0x2620.org/openmedialibrary_platform_${PLATFORM}.git "${PLATFORM_ENV}"
git clone --depth 1 https://code.0x2620.org/0x2620/openmedialibrary_platform_${PLATFORM}.git "${PLATFORM_ENV}"
fi
if [ -d "$BASE/$NAME/.git" ]; then
OLD=`"$0" version`