Asciinema: pós-processo para remover ou marcar alguns dados

Por favor, leia a resposta sobre isso na página de perguntas frequentes: http://asciinema.org/docs/faq

Lembro que o ascii.io tem essa função para reduzir o tamanho do meu registro automaticamente.
Mas, nesta nova versão asciinema parece removido.
Estou certo?

Existe algum documento sobre o formato de arquivo armazenado?
Como baixar o arquivo armazenado?
Talvez eu pudesse escrever um script para modificá-lo e depois fazer o upload novamente.

O recurso de "compressão de tempo" está voltando em breve. Além disso, a capacidade de editar a gravação antes do upload provavelmente acontecerá em um futuro não tão distante. Fique de olho neles ;)

Se eu usar o antigo utilitário ascii.io, ele fornece "compactação de tempo"?
Ou, não há suporte para usar 'ascii.io' para fazer upload?

@dlintw old asciiio cli ainda funciona, mas é altamente recomendável usar o asciinema cli mais recente. E a compressão de tempo está acontecendo no navegador da web, então não ajudaria você usar o cli antigo.

@sickill há alguma palavra sobre o recurso de edição que você mencionou?

@IvanMalison você pode editar o arquivo .json que é produzido pelo comando asciinema rec out.json . Dê uma olhada na última pergunta em FAQ: https://asciinema.org/docs/faq

Uma nota sobre a redução do tempo ocioso: você pode usar asciinema rec --max-wait=2 para comprimir todas as pausas (que são maiores que 2 segundos) para exatamente 2 segundos.

@sickill Sim, eu dei uma olhada em fazer isso, mas o formato parecia um pouco pesado.

@IvanMalison stdout contém texto bruto impresso no terminal, incluindo todas as sequências de escape/controle. Não inventamos nada sozinhos. Entendo que não é tão fácil de entender/editar como seria se isso fosse convertido para uma representação mais "visual", porém não pretendo alterar o formato da "matéria-prima".

Você pode ver a teseq de @micahcowan , que é uma abordagem desse problema.