lib/fontserver/config-sample
author paulson
Thu, 05 Jun 1997 13:22:25 +0200
changeset 3403 6cc663f6d62e
parent 3291 cf322b5c59aa
child 9818 71de955e8fc9
permissions -rw-r--r--
A slight simplification of optstring The new "simpset" keyword in the "recdef" declaration
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
#
3284
b7f0c0af4071 tuned comments;
wenzelm
parents: 3251
diff changeset
     8
# Edit a copy of this file and run your server like this:
3251
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
#
3291
wenzelm
parents: 3284
diff changeset
    12
#
wenzelm
parents: 3284
diff changeset
    13
# Then test it by any of the these commands (replace foo by your
wenzelm
parents: 3284
diff changeset
    14
# host name):
3251
0b74b9d4439e X11 font server sample configuration;
wenzelm
parents:
diff changeset
    15
#
3291
wenzelm
parents: 3284
diff changeset
    16
#   fsinfo -server foo:7200
wenzelm
parents: 3284
diff changeset
    17
#   fslsfonts -server foo:7200
wenzelm
parents: 3284
diff changeset
    18
#   xset fp+ tcp/foo:7200
3251
0b74b9d4439e X11 font server sample configuration;
wenzelm
parents:
diff changeset
    19
#
0b74b9d4439e X11 font server sample configuration;
wenzelm
parents:
diff changeset
    20
0b74b9d4439e X11 font server sample configuration;
wenzelm
parents:
diff changeset
    21
# the standard port is 7100, this might be already in use
0b74b9d4439e X11 font server sample configuration;
wenzelm
parents:
diff changeset
    22
#port = 7100
0b74b9d4439e X11 font server sample configuration;
wenzelm
parents:
diff changeset
    23
port = 7200
0b74b9d4439e X11 font server sample configuration;
wenzelm
parents:
diff changeset
    24
0b74b9d4439e X11 font server sample configuration;
wenzelm
parents:
diff changeset
    25
# location of the Isabelle font files
0b74b9d4439e X11 font server sample configuration;
wenzelm
parents:
diff changeset
    26
catalogue = /usr/proj/isabelle/lib/fonts
0b74b9d4439e X11 font server sample configuration;
wenzelm
parents:
diff changeset
    27
0b74b9d4439e X11 font server sample configuration;
wenzelm
parents:
diff changeset
    28
# number of client sessions we accept
0b74b9d4439e X11 font server sample configuration;
wenzelm
parents:
diff changeset
    29
client-limit = 50
0b74b9d4439e X11 font server sample configuration;
wenzelm
parents:
diff changeset
    30
0b74b9d4439e X11 font server sample configuration;
wenzelm
parents:
diff changeset
    31
# where to put error messages
0b74b9d4439e X11 font server sample configuration;
wenzelm
parents:
diff changeset
    32
use-syslog = on
0b74b9d4439e X11 font server sample configuration;
wenzelm
parents:
diff changeset
    33
#use-syslog = off
0b74b9d4439e X11 font server sample configuration;
wenzelm
parents:
diff changeset
    34
#error-file = /var/tmp/fontserver-errors