Which terminal are you using that supports variable length fonts this well? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		CrampusDestrus on July 21, 2023 \| parent \| context \| favorite \| on: A 17th-century font in a 21st-century thesis Which terminal are you using that supports variable length fonts this well?

pneumic on July 21, 2023 [–]

Looks like 9term, the Plan 9 terminal emulator.

floren on July 21, 2023 | [–]

Yep, 9term from plan9port.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact