Ok, executei um teste com o script tty2gif que você mencionou na sua pergunta e, de alguma forma, obtive a animação de gif, conforme mostrado na próxima captura de tela:
Eu precisava instalar o python-opster para fazer o script funcionar sem nenhum problema, caso contrário você pode receber uma mensagem " Line 7 Error " ao executar o script a partir do terminal. Em seguida, basta sudo apt-get install python-opster no terminal, fornecer sua senha de usuário e instalar o complemento.
Agora, se você executar o script sem parâmetros, verá as opções conforme mostrado na próxima captura de tela:
Enviaremos o comando do script com a opção "digitação" para obter as fotos gif individuais da seguinte forma:
Isso reproduzirá seus pressionamentos de tecla no terminal e obterá uma captura de tela individual para cada iteração. O que resultará em várias imagens gif na pasta, as imagens serão nomeadas "step ???. Gif" como visto na próxima tela:
Agora, usaremos o comando convert do pacote Imagemagick para descartar a próxima linha no terminal para que possamos obter uma animação gif de um arquivo feita a partir desses arquivos de imagem step???.gif , da seguinte maneira:
convert -delay 50 -loop 0 *.gif terminal.gif
Por favor, note que eu estou usando * .gif tendo em mente que não há outros arquivos .gif na mesma pasta, caso contrário, eles podem ser mesclados na animação resultante.
Aqui você pode alterar os parâmetros -delay e -loop , o mesmo que o nome do arquivo resultante.
Você também pode importar esses arquivos step???.gif no gimp ou em qualquer outro programa de manipulação de imagens para fazer uma animação gif melhor (otimizada) que resultará em um tamanho de arquivo menor.
Informe-nos se você tiver êxito com essa solução alternativa ou se estiver enfrentando um tipo diferente de problema, não hesite em nos informar também.
Boa sorte!
