gnome-terminalのデフォルトサイズを変更するにはメニュー上のgnome端末のプロパティでコマンドの部分を「gnome-terminal --geometry 82x57」とする。 .Xdefaultsを書き直そうと思ったがこちらの方が楽だ。