| 3251 |      1 | #
 | 
|  |      2 | # $Id$
 | 
| 9818 |      3 | # Author: Markus Wenzel, TU Muenchen
 | 
|  |      4 | # License: GPL (GNU GENERAL PUBLIC LICENSE)
 | 
| 3251 |      5 | #
 | 
|  |      6 | # X11 font server sample configuration
 | 
|  |      7 | # (Cf. your local man page of 'xfs' or 'fs'!)
 | 
|  |      8 | #
 | 
|  |      9 | #
 | 
| 3284 |     10 | # Edit a copy of this file and run your server like this:
 | 
| 3251 |     11 | #
 | 
|  |     12 | #   xfs -config /foo/bar/fontserver/config
 | 
|  |     13 | #
 | 
| 3291 |     14 | #
 | 
|  |     15 | # Then test it by any of the these commands (replace foo by your
 | 
|  |     16 | # host name):
 | 
| 3251 |     17 | #
 | 
| 3291 |     18 | #   fsinfo -server foo:7200
 | 
|  |     19 | #   fslsfonts -server foo:7200
 | 
|  |     20 | #   xset fp+ tcp/foo:7200
 | 
| 3251 |     21 | #
 | 
|  |     22 | 
 | 
|  |     23 | # the standard port is 7100, this might be already in use
 | 
|  |     24 | #port = 7100
 | 
|  |     25 | port = 7200
 | 
|  |     26 | 
 | 
|  |     27 | # location of the Isabelle font files
 | 
|  |     28 | catalogue = /usr/proj/isabelle/lib/fonts
 | 
|  |     29 | 
 | 
|  |     30 | # number of client sessions we accept
 | 
|  |     31 | client-limit = 50
 | 
|  |     32 | 
 | 
|  |     33 | # where to put error messages
 | 
|  |     34 | use-syslog = on
 | 
|  |     35 | #use-syslog = off
 | 
|  |     36 | #error-file = /var/tmp/fontserver-errors
 |