はじめに

以前Ubuntu & gnome-terminalの組み合わせでRictyDiminishedをterminalのフォントを使用したときに少し詰まったので備忘録用にメモ。

環境

.ttfファイルが入手できるのでインストール。
コマンドラインからでもGUIからでもインストールできると思う。

設定は右クリック->Preferencesで開くことができる。
ProfilesのTextタブでフォントを指定することができるが、ここに先程インストールしたRictyDiminishedが表れない。

ここで下記２つ対応しておく

詳細な設定はdconf-editorというソフトで編集ができるらしい。

sudo apt install dconf-editor

dconf-editorを起動するとGUIが立ち上がる。
org/gnome/terminal/legacy/profiles:以下にprofilesが格納されている。
先程作成したプロファイルのハッシュ値に相当するファイルを開く。

fontの項で直接Custom valueを打ち込むことができる。
Use default valueをuncheckし、custom valueにRicty Diminished Discord 18を打ち込む。(18はフォントサイズなので、所望の値を打ち込む)

これでgnome-terminal上で右クリック->Profilesで作成したプロファイルを選択すればRictyDiminishedが使えるはず。

なんでインストールしたフォントが一覧に表示されないかなど、謎はありますがひとまずこれで使えます。誤りや楽な方法をご存知の方がいらっしゃいましたら、ご教示いただけると幸いです。