9 font stylein terminalとdefault geditも変更したいので、どのように変更font type in Ubuntu 12.04すればよいでしょうか? ubuntu-font-family — 新しいユーザー ソース 1 重複の可能性フォントを変更してサイズを調整 — カバーネイル 1 完全な重複ではありません。システムフォントの変更はリンクで説明されていますが、ターミナルおよびgeditでのフォントの変更は対象外です。 — amc
10 gnome-tweak-tool をインストールします。 sudo apt-get install gnome-tweak-tool フォントでは、システム全体のフォントを変更できます。 geditの場合: (ソース:iloveubuntu.net) 端末の場合: — abybaddi009 ソース
0 ターミナルの場合は、コンテンツウィンドウ(タイトルバーではなく)を右クリックして、[プロファイル]、[プロファイル設定]の順に選択します。次に、0x00Fの回答に示されているのと同じダイアログが表示されます — ザビエル・ノデ ソース