1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
#!/bin/sh
files=`find . -name "*.project"`
wsp_files=`find . -name "*.workspace"`
##
## fix workspace
##
for file in $wsp_files
do
echo fixing file $file ...
## replace any windows \ with unix /
\rm -f $file.tmp
sed 's/\\/\//g' $file > $file.tmp
mv $file.tmp $file
done
##
## fix project files
##
for file in $files
do
echo fixing file $file ...
## replace any windows \ with unix /
\rm -f $file.tmp
sed 's/\\/\//g' $file > $file.tmp
mv $file.tmp $file
done
echo done
|
