#!/bin/sh for file in `find /usr/local/share/texmf/fonts -name \*.tfm` do i=`basename $file | cut -f 1 -d "."` j=`echo $i | sed -E "/[0-9](.*)/s///"` echo "\font\\$j=$i" >> /tmp/font_list.tex echo "Font $j: {\\$j AaBbCcDd EeFfGg HhIiJj KkLlMm NnOoPpQq RrSsTtUu VvWwXx YyZz 12345 67890} \vskip .2cm" >> /tmp/font_list2.tex done echo "\vfill\eject\bye" >> /tmp/font_list2.tex cat /tmp/font_list.tex /tmp/font_list2.tex | uniq >> /tmp/final_font_list.tex rm /tmp/font_list.tex /tmp/font_list2.tex