diff options
-rwxr-xr-x | upgrade.sh | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/upgrade.sh b/upgrade.sh deleted file mode 100755 index 825c3b5..0000000 --- a/upgrade.sh +++ /dev/null @@ -1,34 +0,0 @@ -#!/usr/bin/env bash - -export LANG=C - -function status { - if [ ! -d "$1" ]; then - return - fi - DIR=$(pwd) - cd "$1" - echo "$2:" - URL=$(git config remote.origin.url|sed "s/gitorious.org/gitlab.com/") - git config remote.origin.url ${URL} - echo "set origin to ${URL}" - cd "$DIR" -} - -CMD="$1" - -if [[ "${CMD}" != "gitlab" ]]; then - exit 1 -fi - -status . evol-all -status client-data client-data -status server-code server-code -status server-data server-data -status server-local server-local -status tools tools -status server-code/src/evol evol-hercules -status music music -status manaplus manaplus -status media media -status docs docs |