9fans archive / 1998 / 10 / 70 /    prev next

From: Russ Cox rsc@pla...
Subject: [9fans] How I can set /rc/bin/window's font ?
Date: Fri, 23 Oct 1998 00:56:11 -0400


> > How I can run /rc/bin/window with font options
> > like -f /lib/font/bit/pelm/unicode.9.font?
> 
> Do you not want to just set $font globally? If it is indeed an rc script,
> perhaps you could simply modify the shell script to test for an additional
> argument, like -f <fontfile>?

But even if you set the font environment variable,
8½ won't care.  If I'm remembering correctly, you
can set a font for your entire 8½ session by setting
font=whatever before you run 8½ or by invoking it
as 8½ -f fontfile.  But I don't think you can set the font
on a per window basis.  (You could run, in a window,
another 8½ with a different font, but that's not
what you want to do, I think.)

Russ