lib/Tools/installfonts
author paulson
Thu, 05 Jun 1997 13:22:25 +0200
changeset 3403 6cc663f6d62e
parent 3253 ea75747190a7
child 9788 df671fa2562a
permissions -rwxr-xr-x
A slight simplification of optstring The new "simpset" keyword in the "recdef" declaration
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3007
e5efa177ee0c removed -norc;
wenzelm
parents: 2784
diff changeset
     1
#!/bin/bash
2297
efcabc6df91a installfonts: install Isabelle symbol fonts.
wenzelm
parents:
diff changeset
     2
#
2311
69c51db9481f fails more gracefully;
wenzelm
parents: 2297
diff changeset
     3
# $Id$
69c51db9481f fails more gracefully;
wenzelm
parents: 2297
diff changeset
     4
#
2784
a78655c814b0 tuned comment;
wenzelm
parents: 2746
diff changeset
     5
# DESCRIPTION: install the isabelle fonts into your X11 server
2311
69c51db9481f fails more gracefully;
wenzelm
parents: 2297
diff changeset
     6
2297
efcabc6df91a installfonts: install Isabelle symbol fonts.
wenzelm
parents:
diff changeset
     7
efcabc6df91a installfonts: install Isabelle symbol fonts.
wenzelm
parents:
diff changeset
     8
PRG=$(basename $0)
efcabc6df91a installfonts: install Isabelle symbol fonts.
wenzelm
parents:
diff changeset
     9
efcabc6df91a installfonts: install Isabelle symbol fonts.
wenzelm
parents:
diff changeset
    10
function usage()
efcabc6df91a installfonts: install Isabelle symbol fonts.
wenzelm
parents:
diff changeset
    11
{
efcabc6df91a installfonts: install Isabelle symbol fonts.
wenzelm
parents:
diff changeset
    12
  echo
efcabc6df91a installfonts: install Isabelle symbol fonts.
wenzelm
parents:
diff changeset
    13
  echo "Usage: $PRG"
efcabc6df91a installfonts: install Isabelle symbol fonts.
wenzelm
parents:
diff changeset
    14
  echo
2784
a78655c814b0 tuned comment;
wenzelm
parents: 2746
diff changeset
    15
  echo "  Install the isabelle fonts into your X11 server."
3253
ea75747190a7 fixed spelling;
wenzelm
parents: 3007
diff changeset
    16
  echo "  (May be safely called repeatedly.)"
2297
efcabc6df91a installfonts: install Isabelle symbol fonts.
wenzelm
parents:
diff changeset
    17
  echo
efcabc6df91a installfonts: install Isabelle symbol fonts.
wenzelm
parents:
diff changeset
    18
  exit 1
efcabc6df91a installfonts: install Isabelle symbol fonts.
wenzelm
parents:
diff changeset
    19
}
efcabc6df91a installfonts: install Isabelle symbol fonts.
wenzelm
parents:
diff changeset
    20
efcabc6df91a installfonts: install Isabelle symbol fonts.
wenzelm
parents:
diff changeset
    21
2578
cc768a16ef65 now uses ISABELLE_INSTALLFONTS;
wenzelm
parents: 2335
diff changeset
    22
## check for isabelle fonts
cc768a16ef65 now uses ISABELLE_INSTALLFONTS;
wenzelm
parents: 2335
diff changeset
    23
cc768a16ef65 now uses ISABELLE_INSTALLFONTS;
wenzelm
parents: 2335
diff changeset
    24
function checkfonts()
cc768a16ef65 now uses ISABELLE_INSTALLFONTS;
wenzelm
parents: 2335
diff changeset
    25
{
2784
a78655c814b0 tuned comment;
wenzelm
parents: 2746
diff changeset
    26
  RESULT=$(xlsfonts -fn "-isabelle-fixed-*-isabelle-0" 2>&1) || return 1
2578
cc768a16ef65 now uses ISABELLE_INSTALLFONTS;
wenzelm
parents: 2335
diff changeset
    27
cc768a16ef65 now uses ISABELLE_INSTALLFONTS;
wenzelm
parents: 2335
diff changeset
    28
  case "$RESULT" in
cc768a16ef65 now uses ISABELLE_INSTALLFONTS;
wenzelm
parents: 2335
diff changeset
    29
    xlsfonts:*)
cc768a16ef65 now uses ISABELLE_INSTALLFONTS;
wenzelm
parents: 2335
diff changeset
    30
      return 1
cc768a16ef65 now uses ISABELLE_INSTALLFONTS;
wenzelm
parents: 2335
diff changeset
    31
      ;;
cc768a16ef65 now uses ISABELLE_INSTALLFONTS;
wenzelm
parents: 2335
diff changeset
    32
  esac
cc768a16ef65 now uses ISABELLE_INSTALLFONTS;
wenzelm
parents: 2335
diff changeset
    33
cc768a16ef65 now uses ISABELLE_INSTALLFONTS;
wenzelm
parents: 2335
diff changeset
    34
  return 0
cc768a16ef65 now uses ISABELLE_INSTALLFONTS;
wenzelm
parents: 2335
diff changeset
    35
}
cc768a16ef65 now uses ISABELLE_INSTALLFONTS;
wenzelm
parents: 2335
diff changeset
    36
cc768a16ef65 now uses ISABELLE_INSTALLFONTS;
wenzelm
parents: 2335
diff changeset
    37
2297
efcabc6df91a installfonts: install Isabelle symbol fonts.
wenzelm
parents:
diff changeset
    38
## main
efcabc6df91a installfonts: install Isabelle symbol fonts.
wenzelm
parents:
diff changeset
    39
efcabc6df91a installfonts: install Isabelle symbol fonts.
wenzelm
parents:
diff changeset
    40
[ $# -ne 0 ] && usage
efcabc6df91a installfonts: install Isabelle symbol fonts.
wenzelm
parents:
diff changeset
    41
2578
cc768a16ef65 now uses ISABELLE_INSTALLFONTS;
wenzelm
parents: 2335
diff changeset
    42
checkfonts || eval $ISABELLE_INSTALLFONTS
cc768a16ef65 now uses ISABELLE_INSTALLFONTS;
wenzelm
parents: 2335
diff changeset
    43
checkfonts || echo "WARNING: Isabelle fonts probably not installed correctly!" >&2