Code

Merge branch 'maint' of git://repo.or.cz/git-gui into maint
[git.git] / fixup-builtins
1 #!/bin/sh
2 while [ "$1" ]
3 do
4         old="$1"
5         new=$(echo "$1" | sed 's/git-/git /')
6         echo "Converting '$old' to '$new'"
7         git ls-files '*.sh' | while read file
8         do
9                 sed "s/\\<$old\\>/$new/g" < $file > $file.new
10                 chmod --reference=$file $file.new
11                 mv $file.new $file
12         done
13         shift
14 done
15 git update-index --refresh >& /dev/null
16 exit 0