#

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