Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 548044 - media-fonts/terminus-font-4.39-r1: cp437.acm.gz, 0xEE map to U+220A instead of U+2208
Summary: media-fonts/terminus-font-4.39-r1: cp437.acm.gz, 0xEE map to U+220A instead o...
Status: RESOLVED OBSOLETE
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Fonts Team
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2015-04-28 16:29 UTC by Alex Efros
Modified: 2018-05-23 20:14 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Alex Efros 2015-04-28 16:29:48 UTC
# qlist -Iv terminus-font
media-fonts/terminus-font-4.39-r1
# qfile /usr/share/consoletrans/cp437.acm.gz
media-fonts/terminus-font (/usr/share/consoletrans/cp437.acm.gz)
# zgrep 0xEE /usr/share/consoletrans/cp437.acm.gz 
0xEE	U+220A

Quoting https://en.wikipedia.org/wiki/Code_page_437: "238 (EEhex) is both the Greek lowercase epsilon (U+03B5, ε) and the element-of sign (U+2208, ∈). Later it was often used for the euro sign (U+20AC, €).".

So, this line should be:
0xEE	U+2208
Comment 1 Mike Gilbert gentoo-dev 2015-04-28 17:58:34 UTC
You would be better off contacting the author of this font.
Comment 2 Alex Efros 2015-04-28 22:16:16 UTC
(In reply to Mike Gilbert from comment #1)
> You would be better off contacting the author of this font.

https://sourceforge.net/p/terminus-font/bugs/ says "To create a new ticket you must be authorized by project admin". At a glance neither project website nor project summary page mention other ways to report issues (maillists, etc.). Maybe this project's main site somewhere else (several years ago I remember it wasn't on sourceforge, but I may be wrong about it) but this url is set as "homepage" in ebuild. Honestly, how much time I should spend trying to find where to report this issue to author?
Comment 3 Johannes Huber (RETIRED) gentoo-dev 2018-05-23 19:58:07 UTC
Whats about the current stable version 4.40 or testing 4.46?
Comment 4 Alex Efros 2018-05-23 20:10:02 UTC
Sorry, it was 3 years ago. I've no idea how I noticed this that time and how to test it now - except using commands from first comment. So, feel free to close this if you believe it's fixed now.
Comment 5 Johannes Huber (RETIRED) gentoo-dev 2018-05-23 20:14:40 UTC
(In reply to Alex Efros from comment #4)
> Sorry, it was 3 years ago. I've no idea how I noticed this that time and how
> to test it now - except using commands from first comment. So, feel free to
> close this if you believe it's fixed now.

Thanks for the fast reply.