気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
gconftool を使って gnome-terminal のフォントを Ricty にする - Qiita
2 users
qiita.com/da0shi
qiita.com/da0shi
qiita.com/da0shi
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
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
qiita.com/da0shi
qiita.com/da0shi
qiita.com/da0shi
qiita.com/da0shi
note.com/hermes_man
mond.how
www.fnn.jp
anond.hatelabo.jp
pc.watch.impress.co.jp
note.com/d_tachibana
type.jp
www.itmedia.co.jp
www.itmedia.co.jp
gigazine.net
internet.watch.impress.co.jp
www.itmedia.co.jp
qiita.com/daikiichikawa
qiita.com/dai_yamashita
qiita.com/dahugani
qiita.com/cypher512
qiita.com/daiki_44
qiita.com
2015/02/03 リンク