font/scripts/genfonts.sh

   1 #!/bin/sh -xv
   2 # Usage:
   3 # genfonts.sh <input .proto file> <RES> <CPI> <FONT name>
   4 if test -z "$1" || test -z "$2" || test -z "$3" || test -z "$4"; then
   5     echo "genfonts.sh: missing parameter"; exit 255;
   6 fi
   7
   8 INPUT=$1
   9 RES=$2
  10 CPI=$3
  11 FONT=$4
  12 charwidth=`expr $RES / $CPI` ;
  13 sed -e "s|^name [A-Z]*$|name $FONT|" \
  14     -e \
  15     "s/^\\([^   ]*\\)   [0-9][0-9]*     /\\1    $charwidth      /" \
  16     -e "s/^spacewidth [0-9][0-9]*$/spacewidth $charwidth/" \
  17     -e "s|^internalname .*$|internalname $FONT|" \
  18     -e "/^internalname/s/CR/4/" \
  19     -e "/^internalname/s/BI/3/" \
  20     -e "/^internalname/s/B/2/" \
  21     -e "/^internalname/s/I/1/" \
  22     -e "/^internalname .*[^ 0-9]/d" \
  23     $INPUT