can't get desired font in one user's terminal.
(Fedora-30; Gnome-3.32.2; stand-alone home work-station)
(user names below are dummies)
When I'm logged in as eng.user, and I edit a text file in the gnome
terminal, and the file is a mix of Chinese and English text, the Chinese
text shows up as a mix of mostly an unknown blocky font (a "ming"? font)
and a little "AR PL UKai...".
When I'm logged in as cn.user, and I edit a text file in the gnome
terminal, and the file is a mix of Chinese and English text, all the
Chinese text shows up as "AR PL UKai...".
Both accounts have the same language (US English), etc. settings in the
gnome setting tool.
In both accounts, the gnome settings tool does *not* offer any way of
setting font, system or otherwise.
In both accounts, the gnome terminal's encoding is set to Unicode (UTF-8).
In both accounts, the gnome terminal preferences does *not* offer a
Chinese font in the menu of font choices.
When logged in as cn.user, the gnome terminal preferences shows the
chosen font as "AR UL UKai...", even though it's not a choice in the
gnome terminal's font menu.
The font is what I want in cn.user. But when I'm logged in as eng.user
(which is most of the time), the other Chinese font is for me much
harder to read. I want Chinese text in text files to all display as "AR
UL UKai...". How do I achieve that?
Thank-you in advance.
Bill.