And for completeness, this is totally configurable in gnome-terminal.
Edit -> Profile Preferences -> Default Size -> 25 rows
And for completeness, this is totally configurable in gnome-terminal.
Edit -> Profile Preferences -> Default Size -> 25 rows