buildscripts/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 TEXDIRS=.
  13 if [ -d /var/lib/texmf ]; then
  14     TEXDIRS="$TEXDIRS /var/lib/texmf"
  15 fi
  16 if [ -d /var/spool/texmf ]; then
  17     TEXDIRS="$TEXDIRS /var/tmp/texmf"
  18 fi
  19 if [ -d /var/tmp/texfonts ]; then
  20     TEXDIRS="$TEXDIRS /var/spool/texfonts"
  21 fi
  22 if [ -d /var/texfonts ]; then
  23     TEXDIRS="$TEXDIRS /var/texfonts"
  24 fi
  25 if [ -z "$TEXDIR" ]; then
  26     TEXDIRS=". /var"
  27 else
  28     TEXDIRS=". $TEXDIRS"
  29 fi
  30
  31 # remove possibly stale .pk/.tfm files
  32 FILES=`find $TEXDIRS -name "feta*$WHAT*tfm" -or -name "feta*$WHAT*pk"`
  33
  34 echo removing $FILES
  35 rm  -f $FILES /tmp/cleaning-font-dummy