AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • Início
  • system&network
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • Início
  • system&network
    • Recentes
    • Highest score
    • tags
  • Ubuntu
    • Recentes
    • Highest score
    • tags
  • Unix
    • Recentes
    • tags
  • DBA
    • Recentes
    • tags
  • Computer
    • Recentes
    • tags
  • Coding
    • Recentes
    • tags
Início / ubuntu / Perguntas / 1357447
Accepted
nobody
nobody
Asked: 2021-08-12 11:40:27 +0800 CST2021-08-12 11:40:27 +0800 CST 2021-08-12 11:40:27 +0800 CST

Como converter uma gravação de terminal em um GIF?

  • 772

Fiz um registro terminal com a scriptferramenta.

mediainfo video 
General
Complete name                            : video
File size                                : 1.29 KiB

Eu posso jogar com scriptreplay. É possível convertê-lo em um GIF, por exemplo, com ffmpegou outro programa?

Para esclarecer, quero dizer scriptdo bsdutilspacote, não de um script de programa. Achei que o arquivo salvo é uma espécie de vídeo, então posso grep alguns frames/imagens e criar um GIF dele.

Espero que agora esteja mais claro.

20.04
  • 1 1 respostas
  • 609 Views

1 respostas

  • Voted
  1. Best Answer
    BeastOfCaerbannog
    2021-08-13T01:54:42+08:002021-08-13T01:54:42+08:00

    Uma boa opção é usar ttyrecpara gravar sua atividade no terminal e depois convertê-la em um GIF usando ttygif.

    1. Instale os pacotes ttyrece :ttygif

      sudo apt install ttyrec ttygif
      
    2. Abra um terminal e comece ttyreca gravar seu terminal:

      ttyrec
      

      A execução ttyrecsem um argumento salvará a gravação em um arquivo nomeado ttyrecordem sua pasta atual. Você pode especificar um nome de arquivo como argumento para salvar o arquivo com esse nome.

    3. Use seu terminal.

    4. Pressione Ctrl+ Dpara parar a gravação.

    5. Para converter a gravação em um GIF, execute:

      ttygif ttyrecord
      

      Se você salvou a gravação com outro nome de arquivo, altere ttyrecordpara o nome de arquivo usado.

      Este comando salvará a gravação como um GIF com o nome tty.gif.


    Aqui está um GIF que criei com o procedimento acima que contém o procedimento acima:

    GIF contendo o procedimento acima


    Notas

    • Se você receber esse erro ao executar ttygif:

      Error: WINDOWID environment variable was empty
      

      você precisa executar o seguinte comando antes de executar ttygif:

      export WINDOWID=$(xdotool getwindowfocus)
      

      O comando acima precisa do xodtool. Você pode instalá-lo usando:

      sudo apt install xdotool
      

      Referência: https://github.com/icholy/ttygif#additional-notes

    • ttygifnão funciona com o qterminal por algum motivo. Use outro terminal para a conversão.

      Confirmei que funciona bem com o kitty, é lento com o terminal GNOME e é extremamente rápido com o XTerm.

    • O ttygifcomando pode produzir diretórios de tamanho grande em /tmp. Eu recomendo removê-los manualmente após a conversão usando:

      rm -r /tmp/ttygif.*
      
    • 8

relate perguntas

  • Como posso configurar a resolução de domínio curinga local (127.0.0.1) em 18.04..20.04?

Sidebar

Stats

  • Perguntas 205573
  • respostas 270741
  • best respostas 135370
  • utilizador 68524
  • Highest score
  • respostas
  • Marko Smith

    Existe um comando para listar todos os usuários? Também para adicionar, excluir, modificar usuários, no terminal?

    • 9 respostas
  • Marko Smith

    Como excluir um diretório não vazio no Terminal?

    • 4 respostas
  • Marko Smith

    Como descompactar um arquivo zip do Terminal?

    • 9 respostas
  • Marko Smith

    Como instalo um arquivo .deb por meio da linha de comando?

    • 11 respostas
  • Marko Smith

    Como instalo um arquivo .tar.gz (ou .tar.bz2)?

    • 14 respostas
  • Marko Smith

    Como listar todos os pacotes instalados

    • 24 respostas
  • Martin Hope
    Flimm Como posso usar o docker sem sudo? 2014-06-07 00:17:43 +0800 CST
  • Martin Hope
    led-Zepp Como faço para salvar a saída do terminal em um arquivo? 2014-02-15 11:49:07 +0800 CST
  • Martin Hope
    ubuntu-nerd Como descompactar um arquivo zip do Terminal? 2011-12-11 20:37:54 +0800 CST
  • Martin Hope
    TheXed Como instalo um arquivo .deb por meio da linha de comando? 2011-05-07 09:40:28 +0800 CST
  • Martin Hope
    Ivan Como listar todos os pacotes instalados 2010-12-17 18:08:49 +0800 CST
  • Martin Hope
    David Barry Como determino o tamanho total de um diretório (pasta) na linha de comando? 2010-08-06 10:20:23 +0800 CST
  • Martin Hope
    jfoucher "Os seguintes pacotes foram retidos:" Por que e como resolvo isso? 2010-08-01 13:59:22 +0800 CST
  • Martin Hope
    David Ashford Como os PPAs podem ser removidos? 2010-07-30 01:09:42 +0800 CST

Hot tag

10.10 10.04 gnome networking server command-line package-management software-recommendation sound xorg

Explore

  • Início
  • Perguntas
    • Recentes
    • Highest score
  • tag
  • help

Footer

AskOverflow.Dev

About Us

  • About Us
  • Contact Us

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve