On Wed, Feb 17, 2021, at 7:14 PM, sirjofri wrote:
>
> On 9front (and maybe on 9legacy?) It's the font you specify with font=,
> which is vga by default.
It's almost always specified with font= so you can `echo $font` to see what it
is. (If font isn't set, I think there might be a builtin
FYI, bdf2subf is on github also.
https://github.com/9nut/plan9
On Wed, Feb 17, 2021 at 11:40 AM Kurt H Maier wrote:
> On Wed, Feb 17, 2021 at 07:14:36PM +, sirjofri wrote:
> >
> > 17.02.2021 20:06:00 bomb...@gmx.net:
> > > And is there a version for high dpi displays?
> >
> > On 9front
On Wed, Feb 17, 2021 at 11:38:47AM -0800, Kurt H Maier wrote:
>
> You can use bdf2subf [1] with my hidpi vga font [2] to get this. Maybe
> someone already has? If so, I'd be happy to add it to the VGA pile.
sam-d has done this. A hidpi version of the VGA font ready for Plan 9
can be
On Wed, Feb 17, 2021 at 07:14:36PM +, sirjofri wrote:
>
> 17.02.2021 20:06:00 bomb...@gmx.net:
> > And is there a version for high dpi displays?
>
> On 9front (and maybe on 9legacy?) It's the font you specify with font=,
> which is vga by default.
You can use bdf2subf [1] with my hidpi vga
17.02.2021 20:06:00 bomb...@gmx.net:
And is there a version for high dpi displays?
What acme version?
There's 9legacy, 9front, plan9ports, inferno and acme-sac, at least.
Depending on the system this might be different.
On 9front (and maybe on 9legacy?) It's the font you specify with
And is there a version for high dpi displays?
--
9fans: 9fans
Permalink:
https://9fans.topicbox.com/groups/9fans/Td0ab6c3112c95493-M4158b5d019a05f8100d16029
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription