Merge branch 'master' of git://repo.or.cz/git-gui
[git/haiku.git] / fixup-builtins
blob49e861d2acb7fce8fde14f304d9cd9d2025656f6
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