From a6c29baa8801b92fffb8e520bf1a797cd744496d Mon Sep 17 00:00:00 2001 From: David Schroeder Date: Sat, 5 Jan 2019 12:12:17 -0600 Subject: [PATCH] Update run.sh --- run.sh | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/run.sh b/run.sh index 2527383..a114ce7 100755 --- a/run.sh +++ b/run.sh @@ -5,10 +5,7 @@ source /opt/mysqlbu/settings.conf cd /opt/mysqlbu #echo "" -if [ "`git log --pretty=%H ...refs/heads/master^ | head -n 1`" != "`git ls-remote origin -h refs/heads/master |cut -f1`" ]; then - #echo -e "\e[92m\e[1mUp to date\e[0m" - #else - #echo -e "\e[93m\e[1mnot up to date\e[21m, updating now...\e[0m" +if [ "`git log --pretty=%H ...refs/heads/master^ | head -n 1 >/dev/null`" != "`git ls-remote origin -h refs/heads/master |cut -f1 >/dev/null`" ]; then git fetch origin master >/dev/null git reset --hard origin/master >/dev/null git reflog expire --expire=now --all >/dev/null