Você parece ter várias opções, mas o gnome-terminal não suporta o registro em um arquivo por si só.
-
Você pode executar o comando
script
antes de sua saída para realizar isso. Veja este livro de perguntas e respostas para saber mais. -
Você pode instalar e usar um terminal diferente em vez do terminal gnome, que suporta o registro de todas as saídas em um arquivo, como o Putty. Pode haver outros.
-
Você pode simplesmente destacar a saída de texto desejada e, em seguida, usar CTRL-SHIFT-C para copiar o texto.