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

From: James A. Robinson Jim.Robinson@Sta...
Subject: [9fans] How I can set /rc/bin/window's font ?
Date: Thu, 22 Oct 1998 21:50:55 -0700

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

Perhaps something like:

	if (~ $2 '-f' && ~ $3 *.font) {
		font=$3
	
		wloc=$1
		shift 3
		*=($wloc $*)
	}

At the beginning?  Not knowing what the script looks like, I'm just
guessing...


Jim