From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Fri, 23 Oct 1998 00:56:11 -0400
From: Russ Cox rsc@plan9.bell-labs.com
Subject: [9fans] How I can set /rc/bin/window's font ?
Topicbox-Message-UUID: 85269f52-eac8-11e9-9e20-41e7f4b1d025
Content-Type: text/plain; charset=UTF-8
Message-ID: <19981023045611.soAn6zAjA64_dmzGhX2wTbzDQUrw-JQ6cD0XygOXClM@z>


> > 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