Como fazer o gnome-terminal aumentar o número de linhas que ele mostra a cada seção? (buffer?) Agradeço ajuda, Fabio.