Perhaps Handbrake can handle the conversion if you'd prefer a GUI?
On Tue, May 31, 2022 at 4:34 PM Alex Dunn <[log in to unmask]> wrote:
> 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]>
> > 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
> > DR, OpenShot, etc.
> > In those video viewers/editors I can pause, rewind, do a clip capture,
> > 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
> > 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
> > > OpenShot.
> > …
> > > I can convert that .gif to .mp4 but I 1st need to know time-wise how
> > > 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/
Andrew Ward (he/him/his)
Digital Services Librarian
Troy Public Library