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
|