Code

Merge branch 'jc/maint-checkout-index-to-prefix' into maint
[git.git] / fixup-builtins
1 #!/bin/sh
2 while [ "$1" ]
3 do
4         if [ "$1" != "git-sh-setup" -a "$1" != "git-parse-remote" -a "$1" != "git-svn" ]; then
5                 old="$1"
6                 new=$(echo "$1" | sed 's/git-/git /')
7                 echo "Converting '$old' to '$new'"
8                 sed -i "s/\\<$old\\>/$new/g" $(git ls-files '*.sh')
9         fi
10         shift
11 done
13 sed -i 's/git merge-one-file/git-merge-one-file/g
14 s/git rebase-todo/git-rebase-todo/g' $(git ls-files '*.sh')
15 git update-index --refresh >& /dev/null
16 exit 0