- 1. 概要
- 2. 設定
1. 概要
「GNOME 40.0」までは、「Tweaks」でフォントを変更して問題なかったのですが・・・。
「GNOME 40.0」になってから「Tweaks」を起動すると「『GNOME Extensions』でやれよ」的な警告が表示されます。
だからといって、「GNOME Extensions」とやらで、どうやるのかがわかりません（2021年5月27日）。
コマントで設定できるようなので、一度試してみます。
本ページは、下記のサイトを参考にさせていただきました。
「Ubuntu 20.04 LTSをインストールした直後に行う設定 & インストールするソフト」
2. 設定
「root」ユーザ権限でやっては、だめだし、「ssh」でログインしてやってもだめです。
ログインユーザで。
例えば、「MigMix 1M 10pt」を設定するのであれば
gsettings set org.gnome.desktop.interface font-name 'MigMix 1M 10'
と入力します。
最後のオプションが、フォント名とサイズになります。
これで、設定して、やれうれしやと思っていましたが、「Tweaks」で設定できる、一項目の「インタフェースのテキスト」だけのようです。
「org.gnome.desktop.interface」って書いてあるもんなぁ・・・。
他の項目名は、どうやって探しゃいいんだろう？（2021年5月27日）
|
|
