Re: [9fans] Whats the default font in Acme?
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 default of `fixed`.) As for the actual font, non-9front systems likely have Pelm or Lucida Sans [Mono] for their default font. Lucida is an old bitmap font, not the newer scalable Lucidux Sans. I don't see any sign of Pelm outside Plan 9 circles and I'm sure it's also a bitmap font by design. *However,* a quick web search for `"pelm" font` turned up a Hacker News page with opinions that Lucida Grande is very similar to Lucida, and "Go Mono is closer to (or a remake of) the Pelm font from Plan 9." Both of these are scalable. The article it's commenting on announces the Go fonts, containing sample images: https://blog.golang.org/go-fonts HN subthread with cited/quoted opinions: https://news.ycombinator.com/item?id=12973952 HN thread: https://news.ycombinator.com/item?id=12973716 Personally, I'd like to see a scalable version of the old GEM font, although I liked it more for its style than its readability when I was a teenager. ;) -- 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Td0ab6c3112c95493-M0fb2746b097f413e3b279531 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
Re: [9fans] Whats the default font in Acme?
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 (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 font [2] to get this. Maybe > someone already has? If so, I'd be happy to add it to the VGA pile. > > 1 - http://plan9.stanleylieber.com/src/bdf2subf.tgz > 2 - http://sciops.net/downloads/vga/u_vga32.bdf > > khm -- 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Td0ab6c3112c95493-M042920507cc4b9f86936bc6c Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
Re: [9fans] Whats the default font in Acme?
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 downloaded from http://sciops.net/downloads/vga/hugevga.tgz Once unpacked under /lib/font/bit/, you can set font=/lib/font/bit/hugevga/unicode.font to use it. khm -- 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Td0ab6c3112c95493-M1e979c6498627055a2557547 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
Re: [9fans] Whats the default font in Acme?
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 font [2] to get this. Maybe someone already has? If so, I'd be happy to add it to the VGA pile. 1 - http://plan9.stanleylieber.com/src/bdf2subf.tgz 2 - http://sciops.net/downloads/vga/u_vga32.bdf khm -- 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Td0ab6c3112c95493-M634cdf3d682636d19a1e1f2c Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
Re: [9fans] Whats the default font in Acme?
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 font=, which is vga by default. sirjofri -- 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Td0ab6c3112c95493-M4fc6a98c827a48c5b66dbb2f Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
[9fans] Whats the default font in Acme?
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
