常々端末のウィンドウサイズが小さすぎるので、起動の度にドラッグしてサイズを大きくしていた。
多分どこかに設定があるとは思っていましたが、そのままにしていましたが、探すことにしました。
何のことはない、簡単にデフォルトのサイズを変更できます。gnome-terminalを開き、メニューバーの 編集 →プロファイルの設定 をクリックし、開いたウィンドウで、全般タブをクリック、カスタムデフォルト....にチェックマークを入れ、デフォルトサイズの列と行を適当に設定すれば、次の起動から変更になります。なーんだ。
あと、メニューの端末をクリックするとしたの方に４つほど、サイズの設定がありますので、ここをクリックすると即座にサイズが変更されますが、設定は保存されませんので次回は元に戻ります