我一直在考虑使用Bokeh库为我正在工作的一些小项目创建动画数据可视化。我认为gif格式将是导出这些可视化效果的最佳文件格式。它被广泛使用,而且它们应该很容易分享。可以(并且建议)以gif格式导出bokeh动画情节吗? 如果是这样,我是否需要使用任何额外的工具来完成此操作? 如果没有,有没有更适合这种情况的其他文件格式?我找到了这个关于在Python中创建gif的潜在选项的帖子,但我不确定其中是否有与Bokeh库相关的选项。Programmatically generate video or animat