mirror of
https://github.com/git/git.git
synced 2024-10-30 13:57:54 +01:00
17 lines
326 B
Text
17 lines
326 B
Text
|
#!/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
|