Linux Mint 19.1 の bash ターミナルにフォントとして Roboto Mono をインストールしようとしていますが、フォントをカスタマイズするオプションでは、プリEdit -> Preferences -> Custom Fontインストールされていない新しいフォントを指定できないようです。
これは、ターミナルで .ttf フォントをカスタム フォントとして使用することを許可していないためでしょうか、それとも回避策があるのでしょうか。
ありがとう！
答え1
おそらく、フォントがプリインストールされているかどうかは問題ではありません。
GNOME ターミナルでは、設定ダイアログで選択できるフォントは等幅フォントのみです。ただし、 では任意のフォントを選択できますdconf-editor。 に移動し、/org/gnome/terminal/legacy/profiles:続いてプロファイル ID を選択して、 で設定しますfont。
Roboto Mono が等幅フォントであると想定されない理由については、さらに調査する必要があるようです。