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