Rename pullall.sh and pushall.sh to pull.sh and push.sh

1 files changed, 0 insertions, 27 deletions

diff --git a/pullall.sh b/pullall.sh
deleted file mode 100755
index 0a1f8ff..0000000
--- a/pullall.sh
+++ /dev/null
@@ -1,27 +0,0 @@
-#!/bin/bash
-
-function status {
-    if [ ! -d "$1" ]; then
-        return
-    fi
-    DIR=`pwd`
-    cd "$1"
-    STR=`git diff --name-only`
-    STR2=`git status|grep "Your branch is ahead"`
-    STR3=`git status -s -uno`
-    echo "$2:"
-    if [[ -n "${STR}${STR2}${STR3}" ]]; then
-        echo -e "\e[1;31mCant pull because changes not pushed\e[0m"
-    else
-        git pull
-    fi
-    cd $DIR
-}
-
-status . evol-all
-status client-data client-data
-status server-code server-code
-status server-data server-data
-status tools tools
-status server-code/src/evol evol-hercules
-status music music