temp recordings dir

pgfw/Configuration.py

@@ -101,6 +101,7 @@ class Configuration(RawConfigParser):
         set_option(section, "file-extension", "png", False)
         set_option(section, "frame-format", "RGB", False)
         set_option(section, "framerate", "100", False)
+        set_option(section, "temp-directory", "", False)
         section = "mouse"
         add_section(section)
         set_option(section, "visible", "yes", False)

pgfw/VideoRecorder.py

@@ -49,7 +49,10 @@ class VideoRecorder(GameChild):
         recording = not self.recording
         if recording:
             self.frame_length = len(self.get_string())
-            self.frames = TemporaryFile()
+            temp_dir = self.get_configuration("video-recordings", "temp-directory")
+            if temp_dir == "":
+                temp_dir = None
+            self.frames = TemporaryFile(dir=temp_dir)
             if self.check_command_line("-enable-sound-recording"):
                 import pyaudio
                 import wave