Answer by Sun for How do I convert a video to GIF using ffmpeg, with reasonable quality?

Below is the batch file for Windows users:

gifenc.bat:

set start_time=0set duration=60set palette="c:\temp\palette.png"set filters="fps=15,scale=-1:-1:flags=lanczos"ffmpeg -v warning -ss %start_time% -t %duration% -i %1 -vf "%filters%,palettegen" -y %palette%ffmpeg -v warning -ss %start_time% -t %duration% -i %1 -i %palette% -lavfi "%filters% [x]; [x][1:v] paletteuse" -y %2

Source: High quality GIF with FFmpeg: Extracting just a sample

If you just want to use one input variable and have the output name have just the GIF (pronounced JIF) extension, then use this instead:

set start_time=0set duration=60set palette="c:\temp\palette.png"set filters="fps=15,scale=-1:-1:flags=lanczos"ffmpeg -v warning -ss %start_time% -t %duration% -i %1 -vf "%filters%,palettegen" -y %palette%set var1=%1set var2=%var1:~0,-4%ffmpeg -v warning -ss %start_time% -t %duration% -i %1 -i %palette% -lavfi "%filters% [x]; [x][1:v] paletteuse" -y %var2%.gif