lib/Tools/installfonts
changeset 2578 cc768a16ef65
parent 2335 e965156e84e3
child 2746 2a2d51f2cd95
     1.1 --- a/lib/Tools/installfonts	Tue Feb 04 08:58:47 1997 +0100
     1.2 +++ b/lib/Tools/installfonts	Tue Feb 04 08:59:17 1997 +0100
     1.3 @@ -19,16 +19,25 @@
     1.4  }
     1.5  
     1.6  
     1.7 +## check for isabelle fonts
     1.8 +
     1.9 +function checkfonts()
    1.10 +{
    1.11 +  RESULT=$(xlsfonts -fn "-isabelle-*" 2>&1) || return 1
    1.12 +
    1.13 +  case "$RESULT" in
    1.14 +    xlsfonts:*)
    1.15 +      return 1
    1.16 +      ;;
    1.17 +  esac
    1.18 +
    1.19 +  return 0
    1.20 +}
    1.21 +
    1.22 +
    1.23  ## main
    1.24  
    1.25  [ $# -ne 0 ] && usage
    1.26  
    1.27 -
    1.28 -RESULT=$(xlsfonts -fn "-isabelle-*" 2>&1) || exit 1
    1.29 -
    1.30 -case "$RESULT" in
    1.31 -  xlsfonts:*)
    1.32 -    xset fp+ $ISABELLE_HOME/lib/fonts
    1.33 -    xset fp rehash
    1.34 -    ;;
    1.35 -esac
    1.36 +checkfonts || eval $ISABELLE_INSTALLFONTS
    1.37 +checkfonts || echo "WARNING: Isabelle fonts probably not installed correctly!" >&2