Re: font idea (servers)

[Peter Mardahl <>]

When the scotch server is running (which it isn't right now)
it's font changes often, so having a copy of the font might not
help you too much.

Anyway, it'd be cool if all the server gods would set up a font
server.

You can download the font for a server using the fstobdf command,
I think.

It might be nice to have different names for different fonts.
(at different sites)

I'll look into it when the scotch server can come back up.

PeterM