gym_warehouse/envs/warehouse_env.py
def save_video(self, video_filename):
        """
        Save rendered environment as video in mp4 format.

        Parameters
        ----------
        video_filename : str
            Plain filename of the video; filename extension (.mp4) will be
            added automatically.
        """
        self.video_filename = ".".join([video_filename, "mp4"])

        if self.video:
            self.renderer.save_video()
        else:
            print("init_video has to be called before in order to save video; "
                  "aborting")

        Save rendered environment as video in mp4 format.

        Parameters
        ----------
        video_filename : str
            Plain filename of the video; filename extension (.mp4) will be
            added automatically.
        
Save rendered environment as video in mp4 format.
Parameters

video_filename : str
Plain filename of the video; filename extension (.mp4) will be
added automatically.
Save rendered environment as video in mp4 format . Parameters video_filename : str Plain filename of the video ; filename extension ( . mp4 ) will be added automatically .
def save_video(self, video_filename):
        self.video_filename = ".".join([video_filename, "mp4"])
        if self.video:
            self.renderer.save_video()
        else:
            print("init_video has to be called before in order to save video; "
                  "aborting")
def save_video ( self , video_filename ) : self . video_filename = "." . join ( [ video_filename , "mp4" ] ) if self . video : self . renderer . save_video ( ) else : print ( "init_video has to be called before in order to save video; " "aborting" )
Save rendered environment as video in mp4 format.
Save rendered environment as video in mp4 format .
"""
        Save rendered environment as video in mp4 format.

        Parameters
        ----------
        video_filename : str
            Plain filename of the video; filename extension (.mp4) will be
            added automatically.
        """
self
video_filename