Jpp  master_rocky
the software that should make you happy
JPrintPDF.sh
Go to the documentation of this file.
1 #!/bin/zsh
2 #
3 # \author mdejong
4 #
5 version=1.0
6 script=${0##*/}
7 
8 # ------------------------------------------------------------------------------------------
9 #
10 # Utility script to print PDFs.
11 #
12 # ------------------------------------------------------------------------------------------
13 
14 
15 if [ -z $JPP_DIR ]; then
16  echo "Variable JPP_DIR undefined."
17  exit
18 fi
19 
20 
21 source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
22 
23 
24 set_variable NORTH "0.00 0.00"
25 set_variable EAST "1.57 0.00"
26 set_variable SOUTH "3.14 0.00"
27 set_variable WEST "1.57 3.14"
28 
29 set_variable E 1e3
30 
31 T_NS=(-2.5 0.0 +2.5 10.0 50.0 100.0)
32 
33 if do_usage $*; then
34  usage "$script"
35 fi
36 
37 
38 for R in 10 50 100; do
39 
40  for dir in NORTH EAST SOUTH WEST; do
41 
42  eval D=\$$dir
43 
44  for type in 1 2 3 4 5 6; do
45  echo "$T_NS[*]" | JDrawPDF -F $type -D "${D}" -R $R -E $E
46  done
47  done
48 done