Commit 676c7e7e authored by samuel hanot's avatar samuel hanot

update get_maps to use curl instead of links to get cutoff

parent bd8eaaea
bindir=$(dirname $0)
bindir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
echo "rec_gmconvert=${rec_gmconvert}"
source ${bindir}/
for f in $(cat)
......@@ -10,12 +11,12 @@ do
echo $f
rsync -a -v -z --delete${f}/ $f
cd $f
links$f/analysis > header/map_analysis.txt
cutoff=$(awk '/contour/{print $4}' < header/map_analysis.txt)
curl$f/analysis > header/map_analysis.html
cutoff=$(awk '/contour/{print 3}' < header/map_analysis.html)
resolution=$(sed -ne 's/[<>/ ]//g' -ne 's/resolutionByAuthor//gp' header/emd-${f}.xml)
echo ${cutoff} > cutoff.txt
echo ${resolution} > resolution.txt
gunzip -c map/emd_${f}.map.gz > emd_${f}.map
${bindir}/ emd_${f}.map $cutoff $1 $2
${rec_gmconvert} -f emd_${f}.map -t $cutoff -n $1 -N $2
cd -
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment