 |
 |
If you're comfortable with command-line tools, ffmpeg includes a tool called ffprobe that will extract metadata from a GIF, including length. ffmpeg itself can also convert a GIF to another video format: `ffmpeg -i input.gif output.mp4` On Tue, May 31, 2022 at 8:13 AM charles meyer <[log in to unmask]> wrote: > Thanks, Joe. > > But, my ultimate goal is to convert the .gif into an .mp4 with a > downloadable, free converter so I can watch the instructional video in VLC, > DR, OpenShot, etc. > > In those video viewers/editors I can pause, rewind, do a clip capture, etc. > > I've only found Irfanview which can play a .gif but will only stop and > play. > > I found a YT which showed you how to convert a .gif to an .mp4 using Power > Point but when I do that with this .gif it only converts about 5 seconds > even though I set the convert minutes in PPT to 10.00 minutes. > > A lot of work just to watch an instructional video! > > Thanks, > > Charles. > > Charles Meyer > Charlotte County Public Library > Port Charlotte, FL > > > Date: Mon, 30 May 2022 12:14:42 -0400 > From: Joe Hourclé <[log in to unmask]> > Subject: Re: .gif - determining it's time length > > > On May 30, 2022, at 12:02 PM, charles meyer <[log in to unmask]> > wrote: > > > > Hi my esteemed listmates, > > > > > > I’m trying to ascertain how long in minutes and seconds a certain .gif > is? > … > > If not, what free, downloadable program do you use to view .gifs? > … > > My goal is to convert the .gif to .MP4 to play in VLC, DaVinci Resolve or > > OpenShot. > … > > I can convert that .gif to .mp4 but I 1st need to know time-wise how long > > that .gif is. > > There are simple scripts out there to just determine the length of the > animation. Here’s one in PHP (as they were dealing with file uploads): > > https://justinsomnia.org/2006/10/gif-animation-duration-calculation/ >