--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/fontserver/config-sample Tue May 20 17:17:05 1997 +0200
@@ -0,0 +1,32 @@
+#
+# $Id$
+#
+# X11 font server sample configuration
+# (Cf. your local man page of 'xfs' or 'fs'!)
+#
+#
+# Edit a copy of this file and run your server as follows:
+#
+# xfs -config /foo/bar/fontserver/config
+#
+# Then use something like this to test it:
+#
+# fsinfo -server localhost:7200
+# fslsfonts -server localhost:7200
+#
+
+
+# the standard port is 7100, this might be already in use
+#port = 7100
+port = 7200
+
+# location of the Isabelle font files
+catalogue = /usr/proj/isabelle/lib/fonts
+
+# number of client sessions we accept
+client-limit = 50
+
+# where to put error messages
+use-syslog = on
+#use-syslog = off
+#error-file = /var/tmp/fontserver-errors