一系列图片数组如何生成gif文件，请给出python示例

以下是生成gif文件的Python示例：

import imageio

# 读取图片数组
images = []
for i in range(10):
    filename = f'image_{i}.jpg'
    images.append(imageio.imread(filename))

# 生成gif文件
imageio.mimsave('animation.gif', images)

这个示例代码将会读取名为`image_0.jpg`到`image_9.jpg`的10张图片，将它们保存在一个列表中，并利用`mimsave`函数将它们转化为GIF动画格式，保存到`animation.gif`文件中。这里的图片可以是PNG、JPEG、BMP等任何格式，只要能够被`imageio.imread`函数读取就行。