0591login:Penguin垢版 | 大砲2022/05/29(日) 12:13:02.52ID:5GMIjmsp Rictyというフォントを使っててもうこれに目が慣れちゃったけど BIZ UDゴシックもいいな RictyはどういうわけかGnome Terminalのフォント選択肢に出てこないので いちいち手動でプロファイルをいじっている