@@ -106,8 +106,8 @@ mark_action_done () {
106106 sed -e 1q < " $TODO " >> " $DONE "
107107 sed -e 1d < " $TODO " >> " $TODO " .new
108108 mv -f " $TODO " .new " $TODO "
109- count=$( grep -c ' ^[^#]' < " $DONE " )
110- total=$(( $count + $(grep - c '^[^#]' < "$TODO ")) )
109+ count=$( sane_grep -c ' ^[^#]' < " $DONE " )
110+ total=$(( $count + $(sane_grep - c '^[^#]' < "$TODO ")) )
111111 if test " $last_count " ! = " $count "
112112 then
113113 last_count=$count
@@ -147,7 +147,7 @@ die_abort () {
147147}
148148
149149has_action () {
150- grep ' ^[^#]' " $1 " > /dev/null
150+ sane_grep ' ^[^#]' " $1 " > /dev/null
151151}
152152
153153pick_one () {
@@ -744,15 +744,15 @@ first and then run 'git rebase --continue' again."
744744 git rev-list $REVISIONS |
745745 while read rev
746746 do
747- if test -f " $REWRITTEN " /$rev -a " $( grep " $rev " " $DOTEST " /not-cherry-picks) " = " "
747+ if test -f " $REWRITTEN " /$rev -a " $( sane_grep " $rev " " $DOTEST " /not-cherry-picks) " = " "
748748 then
749749 # Use -f2 because if rev-list is telling us this commit is
750750 # not worthwhile, we don't want to track its multiple heads,
751751 # just the history of its first-parent for others that will
752752 # be rebasing on top of it
753753 git rev-list --parents -1 $rev | cut -d' ' -s -f2 > " $DROPPED " /$rev
754754 short=$( git rev-list -1 --abbrev-commit --abbrev=7 $rev )
755- grep -v " ^[a-z][a-z]* $short " < " $TODO " > " ${TODO} 2" ; mv " ${TODO} 2" " $TODO "
755+ sane_grep -v " ^[a-z][a-z]* $short " < " $TODO " > " ${TODO} 2" ; mv " ${TODO} 2" " $TODO "
756756 rm " $REWRITTEN " /$rev
757757 fi
758758 done
0 commit comments