blob: f5a9323a83be30b672ba62e22fd3c6337c670a21 (
plain)
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
31
32
33
34
|
#!/bin/sh
dir=`dirname "$0"`
if [ "$#" -eq 0 ]
then
echo "Must supply path for indexed files"
exit 1
fi
target="$1"
target=${target%/}
find "$target" -name "*.e2x.gz" -delete
for fl in *.xml.gz
do
base=${fl%.xml.gz}
echo "$base"
SECONDS=0
if [ -s "$dir/meshtree.txt" ]
then
gunzip -c "$fl" |
xtract -transform "$dir/meshtree.txt" -e2index |
gzip -1 > "$target/$base.e2x.gz"
else
gunzip -c "$fl" |
xtract -e2index |
gzip -1 > "$target/$base.e2x.gz"
fi
echo "$SECONDS seconds"
sleep 1
done
|