複数の画像を結合して gif ファイルを生成する方法【Python&OpenCV】

フォルダに入っている画像（jpgファイル等）を結合して gif ファイルを生成するサンプルコードです。
環境： Windows 10、Anaconda, Python 3.x, OpenCV, PIL をインストール済み

サンプルコード

import os 
import glob
from PIL import Image

path1 = os.path.dirname(__file__) + "/image1/"
a1 = glob.glob( path1 + "*.jpg" )
img1 = list( map( lambda file0: Image.open( file0 ), a1 ) )

file2 = path1 + 'video1.gif'
img1[0].save( file2, save_all=True, append_images = img1[1:], duration=1000, loop=0 )

使い方

①　デスクトップ等にフォルダを作り、テキストエディタで “image_to_gif.py” 等のファイルを作ってください。
②　”image_to_gif.py” の内容を編集し、上記のスクリプトを貼りつけて保存してください。
結合するファイルは jpg ファイルとしています。
もし、png ファイル等を結合するようにしたい場合は、上記で “.jpg” としている部分を “.png” 等に修正してください。
③　①のフォルダ内に、さらに image1 という名前でフォルダを作ってください。
④　image1 フォルダ内に、複数の任意の画像ファイルを入れてください。
⑤　Anaconda プロンプトを起動し、②の “image_to_gif.py” を実行してください。（カレントフォルダを①のフォルダに移動し、python image_to_gif.py 等とする。）
→　image1 フォルダ内に gif ファイルが生成されます。

※　サンプルコードは jpg ファイルの例としましたが、他の拡張子でも同様です。
必要により修正してください。
※　画像を切り替える時間は duration の部分で設定しています。
数値の部分（1000）を調整してください。