Como salvar o conteúdo do Terminal GNOME com códigos de escape ANSI?

Os terminais VT100 têm uma maneira relativamente simples de salvar o conteúdo do terminal com códigos de escape em um arquivo usando Meta- p:

XTerm.VT100.printAttributes: 2
XTerm.VT100.printerCommand: cat - > file
XTerm.VT100.translations: #override Meta <KeyPress> P: print() \n

Eu olhei em volta um pouco e não consigo encontrar uma solução para isso funcionar no terminal GNOME padrão + XTerm + Bash.

Eu não quero apenas uma imagem com o conteúdo da janela.

Parece que o Terminal GNOME pode eventualmente obter uma correção para isso , mas não há informações sobre em qual versão ele será incluído e já faz quase três anos desde a última atualização ...

Infelizmente, l0b0 a resposta imediata é: Isso não é possível.

Na minha outra resposta, listei como usar o script para fazer isso, embora haja algumas diferenças, como você observou. A outra maneira é compilar a fonte ou usar uma versão instável.

Tarball da fonte terminal do Gnome

A versão no Raring é 3.6.1, para que você possa ver esta fonte. Dentro do Terminal-window.c na linha 115:

/*
 * We don't want to enable content saving until vte supports it async.
 * So we disable this code for stable versions.
 */

#include "terminal-version.h"

#if (TERMINAL_MINOR_VERSION & 1) != 0
#define ENABLE_SAVE
#else
#undef ENABLE_SAVE
#endif
#endif

Opções:

1. Adicione #define ENABLE_SAVE abaixo disso.
2. Modifique a versão para uma instável.
3. Baixe uma versão instável do .DEB.

Espero que isto ajude.

Infelizmente, l0b0 a resposta imediata é: Isso não é possível.

Há duas maneiras de tentar corrigir isso, executando o script o tempo todo no seu terminal e registrando toda a saída. Abra o gnome-terminal, vá em Edit -> Profile Preferences , depois na guia Title and Command e, para seu comando personalizado, use o seguinte:

bash -l -c 'script -q -c bash $HOME/sessionlogs/$BASHPID.sessionlog.$(date +%Y%m%d-%H%M).txt'

Verifique se 'sessionlogs' existe em $ HOME.

A outra maneira foi removida e adicionada como uma segunda resposta a esta pergunta.

Você pode executar seus shells via script (1) para obter todas as entradas e saídas do terminal armazenadas em um arquivo, incluindo escapamentos do terminal.

Há um pacote chamado tela - um multiplexador de terminal com emulação de terminal VT100 / ANSI.

De acordo com a página de manual da tela no site Ubuntu Manuals , a tela afirma ser

um gerenciador de janelas em tela cheia que multiplexa um terminal físico entre vários processos (geralmente shells interativos). Cada terminal virtual fornece as funções de um terminal DEC VT100 e, além disso, várias funções de controle da ISO 6429 (ECMA 48, ANSI X3). 64) e normas ISO 2022 (por exemplo, inserir / excluir linha e suporte para vários conjuntos de caracteres) um multiplexador de terminal com emulação de terminal VT100 / ANSI '.

e ao executar a tela :

Ctrl ah (cópia impressa) Escreva uma cópia impressa da janela atual no arquivo "hardcopy.n".

Eu tentei no terminal GNOME, executando screene digitandoCtrl ah

Esta é a saída do meu arquivo hardcopy.1 quando aberto no Gedit:

Você pode encontrar a tela no repositório de software principal / raring do Ubuntu 13.04.

Não está instalado por padrão.

Hum, isso não copiará os códigos de escape, mas apenas para pegar o texto, você pode ir para o menu Editar -> Selecionar tudo e pressionar CtrlShiftCe (i) colar a área de transferência em um editor ou (ii) digitar cat > filenamee pressionar CtrlShiftV.

man history procure expansão do histórico para caracteres escapados. Eu acredito que history pode fazer o que você está pedindo.