エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
gnome-terminal のフォントを一覧以外のフォントに変更 - Qiita
Ubuntu14.04 の gnome-terminal のフォントを変更したいんだけど 「編集」メニュー→「プロファイルの設... Ubuntu14.04 の gnome-terminal のフォントを変更したいんだけど 「編集」メニュー→「プロファイルの設定」メニュー→「全般」タブにある「フォント(F):」の プルダウンメニューにインストールしたはずのフォントが出てこない。 fc-list コマンド実行ではインストールされているフォントが確認できる。 ん〜。 ここに載っていた方法を参考にフォント設定を変更する。 Ricty for Powerlineフォントにしたい場合は以下のコマンドで。 gconftool-2 --get /apps/gnome-terminal/profiles/Default/font gconftool-2 --set --type string /apps/gnome-terminal/profiles/Default/font "Ricty for Powerline 11" まずは -
2014/07/12 リンク