mirror of
https://github.com/git/git
synced 2024-08-26 19:19:18 +00:00
17 lines
326 B
Plaintext
17 lines
326 B
Plaintext
![]() |
#!/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
|