[Freeciv] FAQ

[Christian Knoke <ChrisK@xxxxxxxx>]

Hello,

FAQ #30 reads:
-----
30.How do I change the font? 

You can change the font with X resources. You can specify them
on the command line with the -xrm command-line option, or
put them in your .Xdefaults file or the Freeciv app-defaults file. 

To change the main font, try something like: 

civclient -xrm "Freeciv*font: 8x16"

If the font isn't fixed width, some on the dialogs won't look 
right, but they'll still work. 
------------

But the -xrm doesn't work, it just says:

Unrecognized option: "-xrm"

with Linux i386 / XFree 4.0

Christian

-- 
* Christian Knoke                           +49 4852 92248 *
* D-25541 Brunsbuettel                  Wurtleutetweute 49 *
* * * * * * * * *  Ceterum censeo Microsoft esse dividendum.