little_helpers/tikz/sklatex.sh

   1 #!/bin/bash -eu
   2
   3 pdf_viewer="xpdf -z page  "
   4
   5 show_pdf=""
   6 #Default scaling
   7 scaling="0.3"
   8 #Parse options
   9 while getopts "phs:" optionName
  10 do
  11   case "${optionName}" in
  12     p) show_pdf="yes";;
  13     s) scaling=${OPTARG} ;;
  14     h) echo -e "Usage: ${0} [-p] SK_FILE \n ";
  15        exit;;
  16   esac
  17 done
  18
  19 #Switch to not processed arguments
  20 shift $(($OPTIND - 1))
  21
  22
  23 if [  ${#}  -eq 0 ]
  24 then
  25   ${0} -h
  26   exit
  27 fi
  28
  29 sk=${1}
  30
  31 trunk=$(basename ${sk} .sk)
  32 pdf=${trunk}.pdf
  33 tex=${trunk}.tex
  34
  35 #Change language to tikz if not set
  36 tmp_sk=$(mktemp)
  37 if [ ! "$(grep "language\s*tikz" ${sk})" ]
  38 then
  39   cp ${sk} ${tmp_sk}
  40   echo "global {language tikz}" >> ${tmp_sk}
  41   sk=${tmp_sk}
  42 fi
  43
  44 #run sketch
  45 sketch ${sk} -Te -o ${tex}
  46 rm -f ${tmp_sk}
  47
  48 #Adapt
  49 adapt_sk.sh -s ${scaling} ${tex}
  50
  51 #TeX
  52 pdflatex ${tex} >/dev/null
  53
  54 if [ "${show_pdf}" = "yes" ]
  55 then
  56   ${pdf_viewer} ${pdf} &
  57 fi
  58