端末の録画を GIF に変換するにはどうすればいいですか?

端末の録画を GIF に変換するにはどうすればいいですか?

ツールを使用して端末レコードを作成しましたscript

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

で再生できます。または別のプログラムscriptreplayを使用して GIF に変換することは可能ですか?ffmpeg

明確に言うと、scriptプログラム スクリプトではなく、パッケージからbsdutils。保存されたファイルはビデオの一種であると思われるので、いくつかのフレーム/画像を grep して GIF を作成できます。

今ではより明確になっていると思います。

答え1

良い選択肢はttyrecscript端末のアクティビティを記録してGIFに変換する代わりに、ttygif

  1. ttyrecおよびパッケージをインストールしますttygif

    sudo apt install ttyrec ttygif
    
  2. ターミナルを開き、ttyrecターミナルの記録を開始します。

    ttyrec
    

    ttyrec引数なしで実行すると、ttyrecord現在のフォルダーに指定されたファイルに記録が保存されます。ファイル名を引数として指定すると、その名前でファイルを保存できます。

  3. 端末を使用してください。

  4. Ctrl録画を停止するには+を押しますD

  5. 録画を GIF に変換するには、次のコマンドを実行します。

    ttygif ttyrecord
    

    録音を別のファイル名で保存した場合は、ttyrecord使用したファイル名に変更します。

    このコマンドは、録画を という名前で GIF として保存しますtty.gif


上記の手順で作成した、上記の手順を含む GIF を以下に示します。

上記の手順を含むGIF


ノート

  • 実行時にこのエラーが発生した場合ttygif:

    Error: WINDOWID environment variable was empty
    

    を実行する前に次のコマンドを実行する必要がありますttygif:

    export WINDOWID=$(xdotool getwindowfocus)
    

    上記のコマンドには が必要ですxdotool。以下を使用してインストールできます:

    sudo apt install xdotool
    

    参照:https://github.com/icholy/ttygif#追加ノート

  • ttygif何らかの理由で qterminal では動作しません。代わりに別のターミナルを使用して変換してください。

    kitty では問題なく動作し、GNOME ターミナルでは遅く、XTerm では非常に高速であることを確認しました。

  • このttygifコマンドは に大きなサイズのディレクトリを生成する可能性があります/tmp。変換後に次のコマンドを使用して手動で削除することをお勧めします。

    rm -r /tmp/ttygif.*
    

関連情報