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