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/
>