lib/fontserver/config-sample

Datatype package now handles arbitrarily branching datatypes.

#
# $Id$
#
# 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