From mboxrd@z Thu Jan 1 00:00:00 1970 From: erik quanstrom Date: Sun, 29 Apr 2012 00:59:48 -0400 To: 9fans@9fans.net Message-ID: In-Reply-To: References: <2879f8fe7f8e3cef99bce752ea2bfa87@hera.eonet.ne.jp> MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit Subject: Re: [9fans] =?utf-8?b?bHVjaWRhc2FucyBhbmQg5pel5pys6Kqe6KGo56S6?= Topicbox-Message-UUID: 81ff37f8-ead7-11e9-9d60-3106f5b1d025 > font = /lib/font/bit/fixed/unicode.7x13.font > fn acme {builtin acme -f $font $*} > > to your lib/profile. This will set your acme and rio fonts to > unicode.7x13.font. Substitute the pathname to your preferred font file, > then reboot your terminal. or plumb the string Local font = /lib/font/bit/fixed/unicode.7x13.font; fn acme {builtin acme -f $font $*} instead of rebooting. - erik