JPrintPDF.sh

Go to the documentation of this file.

#!/usr/bin/env zsh
#
# \author mdejong
#
version=1.0
script=${0##*/}
 
# ------------------------------------------------------------------------------------------
#
#                         Utility script to print PDFs.
#
# ------------------------------------------------------------------------------------------
 
 
if [ -z $JPP_DIR ]; then
    echo "Variable JPP_DIR undefined."
    exit
fi
 
source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
 
set_variable   E      1e3    
 
T_NS=(-2.5 0.0 +2.5 10.0 50.0 100.0)
 
if do_usage $*; then
    usage "$script"
fi
 
for R in 10 50 100; do
    for DIR in NORTH EAST SOUTH WEST; do
            for type in 1 2 3 4 5 6; do
                echo "$T_NS[*]" | JDrawPDF -F $type -D "${(P)DIR}" -R $R -E $E -z 120
            done
    done
done