Save to other file formats, e.g. gif

[JohnVeness]

It would be great if we could save to other file formats. In particular, being able to save as an animated gif would be very useful when reporting bugs, e.g. via github issues.

At the moment, I use another app called "Screen Recording and Mirror" (https://play.google.com/store/apps/details?id=com.koushikdutta.mirror) which does allow saving as gifs but the free version has a watermark and it's not open source, so I would prefer to use your app!

Many thanks for making this app and making it open source.

[JohnVeness]

Alternatively, can anyone point me to an app that will convert mp4 to gif on the Android device itself, preferably open source? Although it would be more convenient if it was built into this app, I don't mind a separate app if I have to, and a separate app would be useful for converting other videos, e.g. from the camera.

[vijai1996]

thanks for the suggestion. I'm adding this to feature list. will add it soon

[treakiandroid]

There is an ffmpeg based conversion app, guess you point it better there to, looks much more matching to souch special iced apps and would otherwise unnecessary blow up this app which should, imho, stay a simple small recording app that uses the right industry standard format (mp4 with aac and h264 or maybe VP8/VP9) and not souch obscure inefficient and obsolete format like animated gif that cant efficiently render more then 10pics a sec and is incapable in using more then 256 colours and audio at all. See:

https://github.com/brarcher/video-transcoder

For that mentioned much more fitting app

[treakiandroid]

And it lokes like it is allredy capable of such obscure gif stuff:

[JohnVeness]

Thanks for the pointer to the other app. I see it also allows basic trimming of the start and end too. That suits my purposes very well, and I agree that this app doesn't need to be bloated.

[vijai1996]

Thanks for the suggestion. I will see how to link to that app from this app :)