Converts webm/mp4 video files to optimized GIFs via ffmpeg with configurable quality settings. Use when post-processing recordings into shareable GIFs.
Converts webm/mp4 video files to optimized GIFs via ffmpeg with configurable quality settings. Use when post-processing recordings into shareable GIFs.
Post-process video files (webm/mp4) and generate optimized GIF output with configurable quality settings.
When To Use
Converting recordings to animated GIF format
Creating lightweight demo animations
When NOT To Use
High-quality video output - use full recording tools
Static image generation without animation needs
Overview
This skill handles the conversion of video recordings (typically from browser automation) to GIF format. It provides multiple quality presets and optimization options to balance file size with visual quality.
Required TodoWrite Items
- Validate input video file exists
- Check ffmpeg installation
- Execute GIF conversion
- Verify output and report results
Verification: Run the command with --help flag to verify availability.
Process
Step 1: Validate Input File
Confirm the source video file exists and is a supported format:
Verification: Run the command with --help flag to verify availability.
Supported input formats: .webm, .mp4, .mov, .avi
Step 2: Check ffmpeg Installation
Verify ffmpeg is available:
if ! command -v ffmpeg &> /dev/null; thenecho"Error: ffmpeg is not installed"echo"Install with: sudo apt install ffmpeg (Linux) or brew install ffmpeg (macOS)"exit 1
fi
ffmpeg -version | head -1
Verification: Run the command with --help flag to verify availability.
Step 3: Execute Conversion
Choose the appropriate conversion command based on quality requirements: