mirror of
https://github.com/git/git.git
synced 2024-11-05 08:47:56 +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
|