If you're converting in order to view in VLC, why not just use the built-in VLC convertor? It's on the File menu as I recall.
Bobb Menk -----Original Message----- From: Code for Libraries <CODE4LIB@LISTS.CLIR.ORG> On Behalf Of Andrew Ward Sent: Tuesday, May 31, 2022 12:38 PM To: CODE4LIB@LISTS.CLIR.ORG Subject: Re: [CODE4LIB] .gif - determining it's time length Perhaps Handbrake can handle the conversion if you'd prefer a GUI? https://handbrake.fr/ Andrew On Tue, May 31, 2022 at 4:34 PM Alex Dunn <ad...@ucsb.edu> 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 <reachmepl...@gmail.com> > 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é <onei...@annoying.org> > > Subject: Re: .gif - determining it's time length > > > > > On May 30, 2022, at 12:02 PM, charles meyer > > > <reachmepl...@gmail.com> > > 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/ > > > -- Andrew Ward (he/him/his) Digital Services Librarian Troy Public Library
smime.p7s
Description: S/MIME cryptographic signature