blob: 4e49a9026ec8e7e491fe24d8467adf7f3cf75b22 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#! /bin/sh
echo Insertion of a space after a dot not followed by a separator
for i in $*
do sed -e "s/\.\([A-Z]\)/\. \1/g" -e "s/AddPath$i/Add LoadPath/g" > $i.tmp$$
if diff $i.tmp$$ $i > /dev/null
then
rm $i.tmp$$
else
echo Le fichier $i a �t� modifi�
mv $i.tmp$$ $i
fi
done
echo
|
