如何在服务器中保存OpenAI gym库中的视频

Question

这里的解答是让控制端看远程端的视频，但是我想直接保存gym的视频，该如何操作呢？
还需要安装什么库？程序该怎么写呢？
[(https://github.com/2017-fall-DL-training-program/Setup_tutorial/blob/master/OpenAI-gym-install.md "")]

import gym
env = gym.make('CartPole-v0')
env.reset()
for _ in range(1000):
    env.render()
    env.step(env.action_space.sample()) # take a random action