#!/bin/sh
while [ "$1" ]
do
	old="$1"
	new=$(echo "$1" | sed 's/git-/git /')
	echo "Converting '$old' to '$new'"
	git ls-files '*.sh' | while read file
	do
		sed "s/\\<$old\\>/$new/g" < $file > $file.new
		chmod --reference=$file $file.new
		mv $file.new $file
	done
	shift
done
git update-index --refresh >& /dev/null
exit 0