Git-Bash: 选项中没有的字体怎么改?
Git-Bash: How to change the font beyond the ones in options?
我想在 Windows 上为 Git-bash 使用 Hack Nerd 字体。
我安装了字体,但它没有出现在选项中。如果我 运行 命令 mintty -o Font="Hack NF"
,它确实可以在新的 mintty window 中工作,但是如果我向 git-[=16= 提供 -o Font
选项] 本身,它不起作用。有办法吗?
根据 mintty 上的问题跟踪器,他们只查看标记为等宽字体的字体。
我发现一个 issue against Roboto Mono 要求为字体设置 'isFixedPitch' 标志,所以这不是一个不常见的问题。
您可以在主目录中的 .minttyrc
文件中手动指定字体。
例如,我试过这个并且有效。
FontHeight=16
Font=Hack Nerd Font
我想在 Windows 上为 Git-bash 使用 Hack Nerd 字体。
我安装了字体,但它没有出现在选项中。如果我 运行 命令 mintty -o Font="Hack NF"
,它确实可以在新的 mintty window 中工作,但是如果我向 git-[=16= 提供 -o Font
选项] 本身,它不起作用。有办法吗?
根据 mintty 上的问题跟踪器,他们只查看标记为等宽字体的字体。
我发现一个 issue against Roboto Mono 要求为字体设置 'isFixedPitch' 标志,所以这不是一个不常见的问题。
您可以在主目录中的 .minttyrc
文件中手动指定字体。
例如,我试过这个并且有效。
FontHeight=16
Font=Hack Nerd Font