#!/bin/bash
#
# $Id$
#
# DESCRIPTION: install the isabelle fonts into your X11 server
PRG=$(basename $0)
function usage()
{
echo
echo "Usage: $PRG"
echo
echo " Install the isabelle fonts into your X11 server."
echo " (May be safely called repeatedly.)"
echo
exit 1
}
## check for isabelle fonts
function checkfonts()
{
RESULT=$(xlsfonts -fn "-isabelle-fixed-*-isabelle-0" 2>&1) || return 1
case "$RESULT" in
xlsfonts:*)
return 1
;;
esac
return 0
}
## main
[ $# -ne 0 ] && usage
checkfonts || eval $ISABELLE_INSTALLFONTS
checkfonts || echo "WARNING: Isabelle fonts probably not installed correctly!" >&2