From fc7c4791433498e034d8275437f9dc2b2093e7ca Mon Sep 17 00:00:00 2001 From: "alienmind@gmail.com" Date: Sat, 14 Oct 2017 08:09:43 +0200 Subject: [PATCH] Parametrise REVERT_INTERVAL. Cosmetic changes --- git-pushdemont | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/git-pushdemont b/git-pushdemont index 20cfdb8..21eacfc 100755 --- a/git-pushdemont +++ b/git-pushdemont @@ -1,11 +1,12 @@ -echo "Your commits are now being pushed" +REVERT_INTERVAL=8 -for i in 1 2 3 4 5 6 7 8 -do - sleep 1 - echo "." +echo -n "Your commits are now being pushed " + +for i in $(eval echo {1..$REVERT_INTERVAL}) ; do + echo -n "." + sleep 1 done sleep 1 -echo "push process is suspended" +echo " push process is suspended" # git push origin master -f # TODO uncomment this line someday