Find all video files and encode them

encode_all.py

@@ -0,0 +1,18 @@
+#!/usr/bin/env python3
+
+import encode_single_video
+
+import os
+
+# tuple of video file extensions
+videofileextensions = (".webm", ".mp4")
+
+videofiles: list[str] = []
+for root, dirs, files in os.walk("source"):
+    for file in files:
+        if file.endswith(videofileextensions):
+            filepath = os.path.join(root, file)
+            videofiles.append(filepath)
+
+for video in videofiles:
+    encode_single_video.main(inputfile=video)