On Sun, 2018-03-04 at 15:16 +0100, Fabian Greffrath wrote:
> I am already done with implementing my suggested changes. While at
> it, does it make any sense at all to include the variants which
> differ only in line hight? I mean, line hight is usually defined by
> the application rendering the font and it is not that we have any
> means to influence that by explicitely selecting a different font
> style, anyway?

Advertising

Line height is usually not configurable in a terminal, and for
characters in e.g. the "Box Drawing" & "Block Elements" ranges there is
also the issue that they need to connect. That's probably why the
different styles exist? (I didn't check if they actually do that.)
I wonder if it would be better to build them on-demand, using debconf
to select what variant(s) is/are wanted... But then you'd need all the
dependencies to build them installed to use the font, of course.
--
Jan Claeys