equal
deleted
inserted
replaced
1 # |
|
2 # $Id$ |
|
3 # Author: Markus Wenzel, TU Muenchen |
|
4 # License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
5 # |
|
6 # X11 font server sample configuration |
|
7 # (Cf. your local man page of 'xfs' or 'fs'!) |
|
8 # |
|
9 # |
|
10 # Edit a copy of this file and run your server like this: |
|
11 # |
|
12 # xfs -config /foo/bar/fontserver/config |
|
13 # |
|
14 # |
|
15 # Then test it by any of the these commands (replace foo by your |
|
16 # host name): |
|
17 # |
|
18 # fsinfo -server foo:7200 |
|
19 # fslsfonts -server foo:7200 |
|
20 # xset fp+ tcp/foo:7200 |
|
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 |
|