lib/Tools/installfonts
author wenzelm
Wed Nov 22 21:41:39 2000 +0100 (2000-11-22)
changeset 10511 efb3428c9879
parent 9974 5361a27c1853
child 10555 2323ec838401
permissions -rwxr-xr-x
tuned;
     1 #!/bin/bash
     2 #
     3 # $Id$
     4 # Author: Markus Wenzel, TU Muenchen
     5 # License: GPL (GNU GENERAL PUBLIC LICENSE)
     6 #
     7 # DESCRIPTION: install symbol fonts on the current X11 server
     8 
     9 
    10 PRG="$(basename "$0")"
    11 
    12 function usage()
    13 {
    14   echo
    15   echo "Usage: $PRG [OPTIONS]"
    16   echo
    17   echo "  Options are:"
    18   echo "    -x           install X-Symbol fonts"
    19   echo
    20   echo "  Install symbol fonts on the current X11 server."
    21   echo
    22   exit 1
    23 }
    24 
    25 
    26 ## process command line
    27 
    28 # options
    29 
    30 XSYMB=""
    31 
    32 while getopts "x" OPT
    33 do
    34   case "$OPT" in
    35     x)
    36       XSYMB=true
    37       ;;
    38     \?)
    39       usage
    40       ;;
    41   esac
    42 done
    43 
    44 shift $(($OPTIND - 1))
    45 
    46 
    47 # args
    48 
    49 [ "$#" -ne 0 ] && usage
    50 
    51 
    52 ## check fonts
    53 
    54 function checkfonts()
    55 {
    56   RESULT=$(xlsfonts -fn "$1" 2>&1) || return 1
    57 
    58   case "$RESULT" in
    59     xlsfonts:*)
    60       return 1
    61       ;;
    62   esac
    63 
    64   return 0
    65 }
    66 
    67 
    68 ## main
    69 
    70 ISABELLE_PATTERN="-isabelle-fixed-*-isabelle-0"
    71 XSYMBOL_PATTERN="-xsymb-xsymb0-*"
    72 
    73 if [ -z "$XSYMB" ]; then
    74   checkfonts "$ISABELLE_PATTERN" || eval $ISABELLE_INSTALLFONTS
    75   checkfonts "$ISABELLE_PATTERN" || \
    76     echo "Warning: Isabelle fonts probably not installed correctly!" >&2
    77 else
    78   checkfonts "$XSYMBOL_PATTERN" || eval $XSYMBOL_INSTALLFONTS
    79   checkfonts "$XSYMBOL_PATTERN" || \
    80     echo "Warning: X-Symbol fonts probably not installed correctly!" >&2
    81 fi