Jan Claeys wrote:
> 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.)
Yes, probably. But since none of the common font choosers allow to select
a line spacing variant specifically, I see no reason to include each font
(variant) five times because of this.
> 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.
There is no way we confront users with a debconf question about which
variant to compile upon package installation. This is not Gentoo. ;)