From 10288267883a562c896814238ddac4c6fea59001 Mon Sep 17 00:00:00 2001 From: Amine Date: Tue, 13 Nov 2018 21:45:10 +0100 Subject: [PATCH] No more local publish. --- build.sh | 5 +---- publish-version-local.sh | 9 --------- 2 files changed, 1 insertion(+), 13 deletions(-) delete mode 100755 publish-version-local.sh diff --git a/build.sh b/build.sh index ff2fd46..9a62663 100755 --- a/build.sh +++ b/build.sh @@ -22,10 +22,7 @@ PARAMS_EXCEPT_PUBLISH=$(echo $PARAMS_EXCEPT_PUBLISH_LOCAL | sed 's/\-\-publish// ./version.sh ${VERSION} ${PARAMS_EXCEPT_PUBLISH} -if [[ "$@" == *'--publish-local'* ]] -then - ./publish-version-local.sh ${VERSION} -elif [[ "$@" == *'--publish'* ]] +if [[ "$@" == *'--publish'* ]] then ./publish-version.sh ${VERSION} else diff --git a/publish-version-local.sh b/publish-version-local.sh deleted file mode 100755 index 25ad841..0000000 --- a/publish-version-local.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/bash - -rm -f version.txt -printf "versionName=$1-github\nversionCode=$1" >> version.txt - -# You'll need to change server as your server and define a VERSION_PATH. -cp version.txt $VERSION_PATH - -rm version.txt