Upload 3 files

tools/convert_24khz_to_16khz.bat

@@ -0,0 +1,27 @@
+@echo off
+setlocal enabledelayedexpansion
+
+:: Set the path to FFmpeg
+set FFmpegPath="C:\path\to\ffmpeg.exe"
+
+:: Root directory to start the search
+set RootDir=.
+
+:: Step 1: Find and delete _22khz.wav files
+for /r "%RootDir%" %%F in (*_22khz.wav) do (
+    echo Deleting "%%F"
+    del "%%F"
+)
+
+:: Step 2: Find _24khz.wav files and convert them to _16khz.wav
+for /r "%RootDir%" %%F in (*_24khz.wav) do (
+    set "InputFile=%%F"
+    set "OutputFile=%%~dpF%%~nF"
+    set "OutputFile=!OutputFile:_24khz=_16khz!.wav"
+
+    echo Converting "!InputFile!" to "!OutputFile!"
+    %FFmpegPath% -i "!InputFile!" -ar 16000 "!OutputFile!"
+)
+
+echo Done!
+pause

tools/convert_to_gif.sh

@@ -0,0 +1,43 @@
+#!/bin/bash
+
+# Help function
+function show_help() {
+  echo "Usage: $0 <input_video>"
+  echo
+  echo "This script converts a video file to a GIF with the following properties:"
+  echo "  - Frame rate: 10 fps"
+  echo "  - Resolution: 1728x1028 (with padding if needed)"
+  echo
+  echo "Example:"
+  echo "  $0 input.mov"
+  echo
+  echo "The output file will be named 'output.gif'."
+}
+
+# Check if help is requested
+if [[ "$1" == "-h" || "$1" == "--h" || "$1" == "-help" || "$1" == "--help" ]]; then
+  show_help
+  exit 0
+fi
+
+# Check if the input file is provided
+if [ "$#" -ne 1 ]; then
+  echo "Error: Missing input file."
+  echo "Use --help for usage information."
+  exit 1
+fi
+
+# Input video file
+input_file="$1"
+output_file="output.gif"
+
+# Conversion parameters
+fps=10
+width=1728
+height=1028
+
+# Convert the video to GIF
+ffmpeg -i "$input_file" -vf "fps=$fps,scale=${width}:${height}:force_original_aspect_ratio=decrease,pad=${width}:${height}:(ow-iw)/2:(oh-ih)/2" "$output_file"
+
+echo "Conversion complete! Output file: $output_file"
+