Write pre-push error messages with red color

1 files changed, 43 insertions, 0 deletions

diff --git a/scripts/pre-push b/scripts/pre-push
index fbbf94a56b..7da1f575db 100755
--- a/scripts/pre-push
+++ b/scripts/pre-push
@@ -57,13 +57,23 @@ null=0000000000000000000000000000000000000000
 #echo "pre-push hook: remote=$remote"
 #echo "pre-push hook: url=$url"
 
+red_on() {
+    printf '%b' "\033[31m"
+}
+
+red_off() {
+    printf '%b' "\033[0m"
+}
+
 if [ "$url" = 'https://github.com/erlang/otp.git' -o "$url" = '[email protected]:erlang/otp.git' ]
 then
     if [ $remote = "$url" ]; then
+	red_on
         echo "$0 says:"
         echo "***"
         echo "*** Push to $url without using a named remote is NOT ALLOWED!!!!"
         echo "***"
+	red_off
         exit 1
     fi
     IFS=' '
@@ -76,18 +86,22 @@ then
 
 	if [ "$local_sha" = $null ]
 	then
+	    red_on
             echo "$0 says:"
             echo "***"
             echo "*** DELETE push to '$remote' NOT ALLOWED!!!!!"
             echo "***"
+	    red_off
             exit 1
 	fi
 	if [ "$local_ref" != "$remote_ref" ]
 	then
+	    red_on
 	    echo "$0 says:"
 	    echo "***"
 	    echo "*** RENAME push: $local_ref pushed as $remote_ref to '$remote' NOT ALLOWED!!!!"
 	    echo "***"
+	    red_off
 	    exit 1
 	fi
 	case "$remote_ref" in
@@ -95,28 +109,34 @@ then
 		branch=${remote_ref#refs/heads/}
                 if [ "$remote_sha" = $null ]
                 then
+		    red_on
                     echo "$0 says:"
 		    echo "***"
 		    echo "*** UNKNOWN BRANCH: '$branch' does not exist at '$remote'!!!!"
 		    echo "***"
+		    red_off
 		    exit 1
                 fi
 		if ! git log -1 --oneline $remote_sha > /dev/null 2>&1
 		then
+		    red_on
 		    echo "$0 says:"
 		    echo "***"
 		    echo "*** The top of '$branch' at '$remote' ($remote_sha)"
 		    echo "*** does not exist locally!!!"
 		    echo "*** You probably need to refresh local '$branch' and redo merge."
 		    echo "***"
+		    red_off
 		    exit 1
 		fi
 		if ! git merge-base --is-ancestor $remote_sha $local_sha
 		then
+		    red_on
 		    echo "$0 says:"
 		    echo "***"
 		    echo "*** FORCE push branch to '$remote' NOT ALLOWED!!!"
 		    echo "***"
+		    red_off
 		    exit 1
 		fi
                 if [ $remote_ref != refs/heads/master -a "$MASTER_ONLY" ] && git merge-base --is-ancestor $MASTER_ONLY $local_sha
@@ -125,13 +145,16 @@ then
 		    THIS_SCRIPT=`realpath $THIS_SCRIPT`
 		    if git show refs/remotes/$remote/master:scripts/pre-push | diff -q --context=0 $THIS_SCRIPT - > /dev/null 2>&1
 		    then
+			red_on
 			echo "$0 says:"
 			echo "***"
 			echo "*** INVALID MERGE: Commit $MASTER_ONLY should not be reachable from '$branch'!!!!"
 			echo "***                You have probably merged master into '$branch' by mistake"
 			echo "***"
+			red_off
 			exit 1
 		    else
+			red_on
 			echo "$0 says:"
 			echo "***"
 			echo "*** The pre-push hook of this OTP repo needs updating."
@@ -141,16 +164,19 @@ then
 			echo "***"
 			echo "*** And then retry the push."
 			echo "***"
+			red_off
 			exit 1
 		    fi
                 fi
                 if [ ${remote_ref#refs/heads/maint-} != $remote_ref ] && git merge-base --is-ancestor refs/remotes/$remote/maint $local_sha
                 then
+		    red_on
 		    echo "$0 says:"
 		    echo "***"
 		    echo "*** INVALID MERGE: Branch maint should not be reachable from '$branch'!!!!"
                     echo "***                You have probably merged maint into '$branch' by mistake."
 		    echo "***"
+		    red_off
 		    exit 1
                 fi
                 if [ $remote_ref = refs/heads/maint -o $remote_ref = refs/heads/master ]; then
@@ -166,29 +192,35 @@ then
                 fi
                 if [ $remote_ref = refs/heads/master ] && ! git merge-base --is-ancestor refs/remotes/$remote/maint $local_sha
                 then
+		    red_on
                     echo "$0 says:"
 		    echo "***"
 		    echo "*** INVALID PUSH: Branch '$remote/maint' is not reachable from master!!!!"
                     echo "***               Someone needs to merge maint forward to master and push."
 		    echo "***"
+		    red_off
 		    exit 1
                 fi
 		NCOMMITS=`git rev-list --count $remote_sha..$local_sha`
 		if [ $NCOMMITS -gt $NCOMMITS_MAX ]
 		then
+		    red_on
 		    echo "$0 says:"
 		    echo "***"
 		    echo "*** HUGE push: $NCOMMITS commits (> $NCOMMITS_MAX) to '$branch' at '$remote' NOT ALLOWED!!!!"
 		    echo "***"
+		    red_off
 		    exit 1
 		fi
 		NFILES=`git diff --name-only $remote_sha $local_sha | wc --lines`
 		if [ $NFILES -gt $NFILES_MAX ]
 		then
+		    red_on
 		    echo "$0 says:"
 		    echo "***"
 		    echo "*** HUGE push: $NFILES changed files (> $NFILES_MAX) to '$branch' at '$remote' NOT ALLOWED!!!!"
 		    echo "***"
+		    red_off
 		    exit 1
 		fi
 		;;
@@ -204,43 +236,53 @@ then
 		done
 		if [ $REL = "UNKNOWN" ]
 		then
+		    red_on
 		    echo "$0 says:"
 		    echo "***"
 		    echo "*** Unknown OTP release number in tag '$tag'"
 		    echo "***"
+		    red_off
 		    exit 1
 		fi
 		if [ "$remote_sha" != $null ]
 		then
+		    red_on
 		    echo "$0 says:"
 		    echo "***"
 		    echo "*** FORCE push tag to '$remote' NOT ALLOWED!!!"
 		    echo "*** Tag '$tag' already exists at '$remote'."
 		    echo "***"
+		    red_off
 		    exit 1
 		fi
 		;;
             refs/heads/*)
 		branch=${remote_ref#refs/heads/}
+		red_on
 		echo "$0 says:"
 		echo "***"
 		echo "*** UNKNOWN branch name: '$branch' pushed to '$remote' NOT ALLOWED!!!!"
 		echo "***"
+		red_off
 		exit 1
 		;;
 	    refs/tags/*)
 		tag=${remote_ref#refs/tags/}
+		red_on
 		echo "$0 says:"
 		echo "***"
 		echo "*** UNKNOWN tag name: '$tag' pushed to '$remote' NOT ALLOWED!!!!"
 		echo "***"
+		red_off
 		exit 1
 		;;
 	    *)
+		red_on
 		echo "$0 says:"
 		echo "***"
 		echo "*** STRANGE ref: '$remote_ref' pushed to '$remote' NOT ALLOWED!!!!"
 		echo "***"
+		red_off
 		exit 1
 		;;
 	esac
@@ -264,3 +306,4 @@ else
 fi
 
 exit 0
+