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