Some fixes to the new scripts.

diff --git a/tools/make-git b/tools/make-git
index 528114f3cd786871be5e081288a59454f770540e..cd0a3a83bc3207fb269bea17c702856fc3c02872 100644 (file)
--- a/tools/make-git
+++ b/tools/make-git
@@ -60,14 +60,16 @@ git_commit() {
        
        [ "$?" -eq "0" ] || exiterror "git commit $* failed."
        
-       echo "${BOLD}Do you want to push, too? [y/N]${NORMAL}"
+       echo -e "${BOLD}Do you want to push, too? [y/N]${NORMAL}"
        read
+       [ -z $REPLY ] && exit 0
        for i in y Y j J; do
-               if [ "$i" -eq "$REPLY" ]; then
+               if [ "$i" == "$REPLY" ]; then
                        git_push
                        exit $?
                fi
        done
+       exiterror "\"$REPLY\" is not a valid answer."
 }
 
 git_diff(){