lib/fontserver/config-sample
author wenzelm
Sun, 15 Oct 2000 19:50:35 +0200
changeset 10220 2a726de6e124
parent 9818 71de955e8fc9
permissions -rw-r--r--
proper symbol markup with \isamath, \isatext; support sub/super scripts:

#
# $Id$
# Author: Markus Wenzel, TU Muenchen
# License: GPL (GNU GENERAL PUBLIC LICENSE)
#
# X11 font server sample configuration
# (Cf. your local man page of 'xfs' or 'fs'!)
#
#
# Edit a copy of this file and run your server like this:
#
#   xfs -config /foo/bar/fontserver/config
#
#
# Then test it by any of the these commands (replace foo by your
# host name):
#
#   fsinfo -server foo:7200
#   fslsfonts -server foo:7200
#   xset fp+ tcp/foo:7200
#

# the standard port is 7100, this might be already in use
#port = 7100
port = 7200

# location of the Isabelle font files
catalogue = /usr/proj/isabelle/lib/fonts

# number of client sessions we accept
client-limit = 50

# where to put error messages
use-syslog = on
#use-syslog = off
#error-file = /var/tmp/fontserver-errors