GNOME 端末のフォントを Ricty に設定する
GNOME 端末 あるいは GNOME terminal 。
Ricty に限らず、GNOME 端末の設定 - フォントを指定 - 端末フォントの選択に表示されないフォントはいくつもある。
環境
Arch Linux: Linux 5.4.15-arch1-1 x86_64
フォントインストール
オリジナル ricty なら AUR にある。
% yaourt -S ttf-ricty
パッケージが無い場合、 たとえば Ricty Diminished ならば、ttf ファイルをダウンロードして、パッケージを作成するか、手動でインストールする。ttf ならばどのフォントでもこの手段でインストールできるようだ。
パッケージを作成する場合
こんな感じで
% makefontpkg -i RictyDiminishedDiscord-Bold.ttf RictyDiminished-Bold.ttf RictyDiminished-Regular.ttf RictyDiminishedDiscord-Regular.ttf
手動インストールする場合
こんな感じで /usr/share/fonts/TTF/ に設置
% sudo cp *.ttf /usr/share/fonts/TTF/
% fc-cache -vf
fc-list で名前を確認
fc-list で名前を確認しておく。あとで使うため。
% fc-list | grep -i ricty
/usr/share/fonts/TTF/Ricty-Bold.ttf: Ricty:style=Bold
/usr/share/fonts/TTF/RictyDiminishedDiscord-Bold.ttf: Ricty Diminished Discord:style=Bold
/usr/share/fonts/TTF/Ricty-Oblique.ttf: Ricty:style=Oblique
/usr/share/fonts/TTF/Ricty-Regular.ttf: Ricty:style=Regular
/usr/share/fonts/TTF/RictyDiminishedDiscord-Regular.ttf: Ricty Diminished Discord:style=Regular
/usr/share/fonts/TTF/RictyDiminished-Regular.ttf: Ricty Diminished:style=Regular
/usr/share/fonts/TTF/RictyDiscord-Oblique.ttf: Ricty Discord:style=Oblique
/usr/share/fonts/TTF/Ricty-BoldOblique.ttf: Ricty:style=Bold Oblique
/usr/share/fonts/TTF/RictyDiscord-Regular.ttf: Ricty Discord:style=Regular
/usr/share/fonts/TTF/RictyDiscord-Bold.ttf: Ricty Discord:style=Bold
/usr/share/fonts/TTF/RictyDiminished-Bold.ttf: Ricty Diminished:style=Bold
/usr/share/fonts/TTF/RictyDiscord-BoldOblique.ttf: Ricty Discord:style=Bold Oblique
gsettings でデフォルトフォントを設定する
この手順でフォントは設定できるが、結局「端末フォントの選択」には名前は出てこないらしい。
gconftool-2 を使うという話題もあったけど、gconftool-2 だと GNOME 端末のフォントを設定できなかった。
gsettings を使う方法があるらしいのでここでは gsettings を使う。UUID を指定して設定するらしいので、UUID を確認する。
% gsettings get org.gnome.Terminal.ProfilesList list
['b1dcc9dd-5262-4d8d-a863-c897e6d979b9']
設定する。font に指定するのは fc-list で確認した名前です。
% gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ font "Ricty 12"
フォント名に空白がある場合もこのようにする。
% gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ font "Ricty Diminished Discord Bold 12"
参考
GNOME Terminal Frequently Asked Questions
Author And Source
この問題について(GNOME 端末のフォントを Ricty に設定する), 我々は、より多くの情報をここで見つけました https://zenn.dev/miwarin/articles/bbf92115d99faeab9734著者帰属：元の著者の情報は、元のURLに含まれています。著作権は原作者に属する。
Collection and Share based on the CC protocol