lib/fontserver/config-sample
changeset 3251 0b74b9d4439e
child 3284 b7f0c0af4071
equal deleted inserted replaced
3250:9328e9ebe325 3251:0b74b9d4439e
       
     1 #
       
     2 # $Id$
       
     3 #
       
     4 # X11 font server sample configuration
       
     5 # (Cf. your local man page of 'xfs' or 'fs'!)
       
     6 #
       
     7 #
       
     8 # Edit a copy of this file and run your server as follows:
       
     9 #
       
    10 #   xfs -config /foo/bar/fontserver/config
       
    11 #
       
    12 # Then use something like this to test it:
       
    13 #
       
    14 #   fsinfo -server localhost:7200
       
    15 #   fslsfonts -server localhost:7200
       
    16 #
       
    17 
       
    18 
       
    19 # the standard port is 7100, this might be already in use
       
    20 #port = 7100
       
    21 port = 7200
       
    22 
       
    23 # location of the Isabelle font files
       
    24 catalogue = /usr/proj/isabelle/lib/fonts
       
    25 
       
    26 # number of client sessions we accept
       
    27 client-limit = 50
       
    28 
       
    29 # where to put error messages
       
    30 use-syslog = on
       
    31 #use-syslog = off
       
    32 #error-file = /var/tmp/fontserver-errors