[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Groff] colorized man pages
From: |
John Gardner |
Subject: |
Re: [Groff] colorized man pages |
Date: |
Fri, 26 Aug 2016 19:42:41 +1000 |
Ah, that reminds me of Hasklig <https://github.com/i-tu/Hasklig>, which
also uses ligatures to improve the readability of combined character
operators. :-)
That Iosevka font looks ace! It's such a shame it feels too squashed on the
eyes though (at least to me).
Apropos of fonts, does anybody know of a script that offers a one-step
approach for efficiently converting fonts for use in Groff typesetting? If
so, please let me know before I write one... =) I followed these steps here
<https://www.freebsd.org/doc/en/articles/fonts/type1-fonts-groff.html> and
they worked perfectly, but I was surprised at how fiddly it was...
On 26 August 2016 at 19:23, Ralph Corderoy <address@hidden> wrote:
> Hi,
>
> John wrote:
> > Nope, same here! I even augmented <https://github.com/Alhadis/Menloco>
> my
> > preferred typeface so its box-drawing characters joined together
> > seamlessly. :-)
>
> As we've moved onto the topic of terminal fonts, I recently came across
>
> Iosevka is completely generated from its source code. You can build
> your own variant by adjusting its parameters.
> — https://be5invis.github.io/Iosevka/#readme
>
> Has common configuration options for things like: whether zero is
> slashed, dotted, or hollow; is the middle stem of "m" as long as the
> outside two; and it (abuses) ligatures so "->" renders as "→" but still
> taking two cells in width.
>
> Cheers, Ralph.
>
>
- Re: [Groff] colorized man pages, (continued)
- Re: [Groff] colorized man pages, James K. Lowden, 2016/08/24
- Re: [Groff] colorized man pages, Steffen Nurpmeso, 2016/08/24
- Re: [Groff] colorized man pages, Tadziu Hoffmann, 2016/08/24
- Re: [Groff] colorized man pages, Peter Schaffter, 2016/08/25
- Re: [Groff] colorized man pages, Russell Hyer, 2016/08/25
- Re: [Groff] colorized man pages, John Gardner, 2016/08/25
- Re: [Groff] colorized man pages, Ralph Corderoy, 2016/08/26
- Re: [Groff] colorized man pages,
John Gardner <=
- Re: [Groff] colorized man pages, Ralph Corderoy, 2016/08/26
- Re: [Groff] colorized man pages, Peter Schaffter, 2016/08/26
- Re: [Groff] colorized man pages, John Gardner, 2016/08/27
- Re: [Groff] colorized man pages, James K. Lowden, 2016/08/26
- Re: [Groff] colorized man pages, James K. Lowden, 2016/08/26