Re: [9fans] changing font size acme 9term plan 9 from user space

2011-02-26 Thread Sasha and Tanya Kapshuk
On 02/26/2011 03:06 PM, Jacob Todd wrote: Set $font to the font you want. I use $PLAN9/fonts/fixed/unicode.6x12.font, there's plenty of other sizes, though. On Feb 26, 2011 7:20 AM, "Sasha and Tanya Kapshuk" mailto:sashaandta...@gmail.com>> wrote: > Hi, > > I'm using Plan 9 from user space

Re: [9fans] changing font size acme 9term plan 9 from user space

2011-02-26 Thread Jacob Todd
Set $font to the font you want. I use $PLAN9/fonts/fixed/unicode.6x12.font, there's plenty of other sizes, though. On Feb 26, 2011 7:20 AM, "Sasha and Tanya Kapshuk" wrote: > Hi, > > I'm using Plan 9 from user space on Debian Squeeze. > > I'd like to change the font size in both acme and 9term, bu

Re: [9fans] changing font size acme 9term plan 9 from user space

2011-02-26 Thread Sasha and Tanya Kapshuk
Hi, I'm using Plan 9 from user space on Debian Squeeze. I'd like to change the font size in both acme and 9term, but don't know how to do that. I'd appreciate a hint there please. Thanks. Alexander Kapshuk.