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
On Tue, May 31, 2022 at 8:13 AM charles meyer <[log in to unmask]>
> 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
> 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!
> 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]>
> > Hi my esteemed listmates,
> > I’m trying to ascertain how long in minutes and seconds a certain .gif
> > 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):