Git Bash のフォントを変更したい

Question

前提・実現したいこと

Windows10でGit Bashを使っています。
Git Bash のフォントをLucida Consoleというものに遥か昔に設定して、つい先ほどそれを別のフォントに変更してしまいました。
元に戻そうとGit BashのOptions→Text→fontのselectと進んだのですが、Lucida Consoleが一覧に表示されなくなってしまいました。

試したこと

フォントを選択するリストがある画面の右下のほうに”他のフォントを表示”となっているところがあるのでそれをクリックするとWindowsの設定画面に飛び、使用可能なフォント(おそらくこのＰＣ上でという意味)が表示されるのですが、それをクリックしたり、ダブルクリックしてみるとフォントの情報が表示されるだけで期待する結果にはなってくれませんでした。

どのようにすればGit Bashのフォントを元に戻せるでしょうか。

Comments

[itagagaki]

C:\Windows\FontsにはLucida Consoleはありますか？

[dunny]

あります。

Answer 1

Git Bashが利用している MIMGW64のデフォルトフォントがLucida Consoleです。
Git Bashをいったん閉じ、ユーザーのホームディレクトリにある.minttyrc というファイルをテキストエディタで開き、"Font"で始まる行を削除し、もう一度Git Bushを開くとLucida Consoleに戻ります。

オプションのフォント一覧にLucida Consoleが出てこないのは、おそらくこのフォントにmonospacedフラグがないからだと思われます（等幅フォントかどうかを表すフラグ）
直接確認していないので断言はできませんが。

もしかしたら英語版WindowsのLucida Consoleは等幅フォント扱いで、日本語版の同フォントは等幅フォント扱いにわざとしていないのかもしれません。
漢字などを表示する場合のフォールバック先がMSPゴシックのようなので…

Comments

[dunny]

上記のファイルを編集することで解決できました。ありがとうございました。

Answer 2

ユーザーフォルダに.minttyrcというファイルがあると思うんですけど、それを編集して
Font=Lucida Console
と書けばLucida Consoleになると思います。

minttyのOptionsでフォントの一覧に出ない原因は、わかりません。
（私の環境では出ています）