Как сохранить OpenGL/glumpy сцену в видеофайл?

Как сохранить видео в python? Существуют готовые библиотеки или примеры для linux?