bin/clean-fonts.sh

   1 #!/bin/sh
   2
   3 case  $# in
   4 0)
   5     WHAT="" ;;
   6 1)
   7     WHAT=$1;;
   8 esac
   9
  10 # should use kpsepath
  11
  12 if [ -d /var/lib/texmf ]; then
  13     TEXDIR=/var/lib/texmf
  14 elif [ -d /var/texfonts ]; then
  15     TEXDIR=/var/texfonts
  16 else
  17     TEXDIR=/var/
  18 fi
  19
  20 # remove possibly stale .pk/.tfm files
  21 echo> /tmp/cleaning-font-dummy
  22 FILES=`find $TEXDIR -name "feta*$WHAT*tfm" -or -name "feta*$WHAT*pk"`
  23
  24 echo removing $FILES
  25 rm  $FILES /tmp/cleaning-font-dummy