user3719454 Asked: 2023-04-19 23:11:40 +0800 CST2023-04-19 23:11:40 +0800 CST 2023-04-19 23:11:40 +0800 CST Fedora 的 Gnome Terminal 的 Monospace 字体改变了吗? 772 到目前为止,我一直在运行 Fedora 34。Fedora 38 出来了,我转向了它。我在 Gnome 终端上使用 MATE。字体在两个系统中都设置为 Monospace 13。但是字体有区别。我在 Fedora 38 中不喜欢的地方。我怎么能拥有与 Fedora 34 中相同的字体?尤其是在“r”上可以看到变化 fedora 1 个回答 Voted Best Answer user1686 2023-04-20T14:54:25+08:002023-04-20T14:54:25+08:00 “Monospace”不是真正的字体;它只是某些或其他字体的别名,传统上在 Linux 上使用DejaVu Sans Mono大约十年 - 与“原始”屏幕截图中的独特扁平@形状一样。 (虽然 DejaVu 字体并不是真正好的字体,只是体面,但很长一段时间都没有更好的 FOSS 字体可用,特别是对于像 Fedora 这样非常关注许可的发行版。但是,现在有更多的免费字体存在,Fedora 更改默认值也就不足为奇了。) 如果你运行,fc-match Monospace你会看到当前的映射。 我怎么能拥有与 Fedora 34 中相同的字体? 首先,安装字体。默认情况下,Fedora 不再包含 DejaVu,因此请dejavu-sans-fonts通过 DNF 安装(或从 GitHub下载它们到您的~/.local/share/fonts/)。 安装后,只需通过 GNOME 终端的“配置文件 > 默认”更改终端字体。 在系统范围内更改字体别名 在 GNOME 中,org.gnome.desktop.interface monospace-font-nameGSetting 可能是在系统范围内控制别名的那个(当然,您可以只为终端单独更改它;可以对终端使用一种等宽字体,对普通文本使用另一种等宽字体)。 GNOME 调整 > 字体 > 等宽文本 注册表:dconf-editor> / org/ gnome/ desktop/ interface/monospace-font-name gsettings set org.gnome.desktop.interface monospace-font-name "Something 11" 在 GNOME 之外,此类别名是通过 Fontconfig(例如/etc/fonts/conf.d)定义的。例如,创建一个~/.config/fontconfig/fonts.conf包含: <?xml version="1.0"?> <!DOCTYPE fontconfig SYSTEM "urn:fontconfig:fonts.dtd"> <fontconfig> <alias> <family>Monospace</family> <prefer> <family>DejaVu Something Or Other</family> </prefer> </alias> </fontconfig> 如中所述man fonts.conf。
“Monospace”不是真正的字体;它只是某些或其他字体的别名,传统上在 Linux 上使用DejaVu Sans Mono大约十年 - 与“原始”屏幕截图中的独特扁平@形状一样。
(虽然 DejaVu 字体并不是真正好的字体,只是体面,但很长一段时间都没有更好的 FOSS 字体可用,特别是对于像 Fedora 这样非常关注许可的发行版。但是,现在有更多的免费字体存在,Fedora 更改默认值也就不足为奇了。)
如果你运行,
fc-match Monospace
你会看到当前的映射。首先,安装字体。默认情况下,Fedora 不再包含 DejaVu,因此请
dejavu-sans-fonts
通过 DNF 安装(或从 GitHub下载它们到您的~/.local/share/fonts/
)。安装后,只需通过 GNOME 终端的“配置文件 > 默认”更改终端字体。
在系统范围内更改字体别名
在 GNOME 中,
org.gnome.desktop.interface
monospace-font-name
GSetting 可能是在系统范围内控制别名的那个(当然,您可以只为终端单独更改它;可以对终端使用一种等宽字体,对普通文本使用另一种等宽字体)。dconf-editor
> /org
/gnome
/desktop
/interface
/monospace-font-name
gsettings set org.gnome.desktop.interface monospace-font-name "Something 11"
在 GNOME 之外,此类别名是通过 Fontconfig(例如
/etc/fonts/conf.d
)定义的。例如,创建一个~/.config/fontconfig/fonts.conf
包含:如中所述
man fonts.conf
。