Actually, export should work for any image format supported by Krita. ^__^

Hi, @KonstantinDmitriev!

Does it mean that the animation is exported with the "lastly used configuration"?

No, the export format depends on extension specified in output filename.

So, with this command it is possible to export jpg sequence:

krita --export-animation --export-filename ../../persistent/output/file.jpg /home/appimage/persistent/test.kra

The patch works fine. The only concern I have is the naming of the option. This very option exports "sequence", not "animation". Actually, we can either export a "video" or a "sequence". We have no term "animation" in the main dialog :)

Export sequence:
krita --export-sequence --export-filename some-file.png video.kra

Export video:
krita --export-video --export-filename some-file.mkv video.kra

If it right now only exports frame sequences, then yes, --export-sequence or --export-frames might be much better.

In the future the functionality of this option can be extended to export video files as well. So, I am proposing to keep current name to avoid having two options for exporting animation in the future.

We have no term "animation" in the main dialog :)

I just would like to point out that menu item is called "File" -> "Render Animation". ^__^

In D19706#429652, @KonstantinDmitriev wrote:

In the future the functionality of this option can be extended to export video files as well. So, I am proposing to keep current name to avoid having two options for exporting animation in the future.

The problem is that you can export both: "sequence of GIF images" and "GIF animation", so you cannot distinguish the user's desire by just a file extension

Ah now I see. I haven't thought about that case. ^__^

@KonstantinDmitriev can you give a firstname/lastname(well, I guess we know this already) and an email so we can push this in your name?