ターミナルのサイズを変更
http://ubuntu10144.blog111.fc2.com/blog-entry-17.html
参照
この後に、gnome-terminalに実行権限を与えておく
$ sudo chmod 755 gnome-terminal
フォントの大きさを変更するのは、端末のツールバーの
「編集」→「プロファイルの設定」
「全般」タブの「"固定幅フォント"を使用する」のチェックボックスを外す
→「フォント」をクリック→後はお好きなフォントサイズに変更
http://ubuntu10144.blog111.fc2.com/blog-entry-17.html
参照
この後に、gnome-terminalに実行権限を与えておく
$ sudo chmod 755 gnome-terminal
フォントの大きさを変更するのは、端末のツールバーの
「編集」→「プロファイルの設定」
「全般」タブの「"固定幅フォント"を使用する」のチェックボックスを外す
→「フォント」をクリック→後はお好きなフォントサイズに変更