python - python folium：从地图制作 gif

Question

我正在绘制不同地图上设备的每小时更新。为了动画和分析更新，我通过清除 jupyter 中单元格的输出在每次迭代中显示一个新图。

map_ = [[] for i in range(max(dfByDeviceidHourly['hour'])+1)]
for hour in dfByDeviceidHourly['hour'].unique():
    df_map = dfByDeviceidHourly[dfByDeviceidHourly['hour'] == hour]
    map_[hour] = folium.Map(location=list(df_map[['geocoordinates_latitude','geocoordinates_longitude']].mean()), zoom_start=13)
    for i,mark in enumerate(df_map):
        folium.Marker(list(df_map[['geocoordinates_latitude','geocoordinates_longitude']].iloc[i]), popup='The Waterfront').add_to( map_[hour] )
    clear_output(wait = True)
    display(map_[hour])
    time.sleep(4)

有没有办法可以从上面制作视频或 gif？

我找到了一种方法（这里：https ://github.com/python-visualization/folium/issues/35 ），它涉及将图像保存为 html，将它们转换为 png，从中创建一个 gif，然后在笔记本。虽然我正在寻找更强大的替代方案。