エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント2件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
gconftool を使って gnome-terminal のフォントを Ricty にする - Qiita
gnome-terminal 上で Ricty は GUI から設定できない 理由はよく分からないけど,Ricty をPC上にインス... gnome-terminal 上で Ricty は GUI から設定できない 理由はよく分からないけど,Ricty をPC上にインストールしても gnome-terminal では何故か設定ができない. ターミナルからCLIで設定する事はできるのだけど,一回設定すると基本使う事はないので毎回忘れて毎回調べる事になっている... んだもんで,さすがにアホくさいのでメモしておく. gconftool-2 を使う cli上でのコマンドは以下の通り $ gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string "Ricty Regular 12" まぁ見た通り, /apps/gnome-terminal/profiles/Default/font の値に set set する値の type は string
2015/02/03 リンク