equal
deleted
inserted
replaced
|
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 |