Re: can't get desired font in one user's terminal. [SOLVED]

2019-12-11 Thread home user
(answering my original post) > 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..." > ...I wa

can't get desired font in one user's terminal.

2019-12-11 Thread home user
(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"?