#! /bin/bash
# Last edited on 2009-04-23 15:40:00 by stolfilocal

# Shows a tex font

texdir="/usr/share/texmf-texlive/fonts/tfm"

dir="$1"; shift
fnt="$1"; shift
tfile="${dir}/${fnt}.tfm"
if [[ -r "${texdir}/${tfile}" ]]; then
  ( cd ${texdir} && ls -l "${tfile}" )
fi
( echo "${fnt}"; echo '\table\end' ) | tex testfont
mv testfont.dvi ${fnt}.dvi
dvips -D600 -o ${fnt}.ps ${fnt}.dvi
gv ${fnt}.ps