Answers:
配置GUI似乎过滤非等宽字体。
一种解决方法是dconf
直接用于设置字体:
# get your profile id
dconf list '/org/gnome/terminal/legacy/profiles:/'
# get your current font
dconf read '/org/gnome/terminal/legacy/profiles:/:PROFILE_ID/font'
# set the font, make sure you include those single quotes
dconf write '/org/gnome/terminal/legacy/profiles:/:PROFILE_ID/font' "'FreeMono 18'"
更新字体缓存可能会解决此问题。尝试运行以下命令:
fc-cache -vf ~/.fonts