You can use wonderful ffmpeg for your desired workflow. There is a guide here on this page but once you have the ffmpeg installed, you can simply cd into your folder with sequence, and type in your terminal:
ffmpeg -f image2 -pattern_type glob -i '*.png' -vcodec qtrle -r 25 -s 1920x1080 test.mov
To understand the options, you can check the documentation but here is the explanation:
When importing an image sequence, -i also supports expanding shell-like
wildcard patterns (globbing) internally, by selecting the image2-specific
-pattern_type glob option.
In this specific command,
-r is for framerate, and
-s is our image size.
-vcodec qtrle tells ffmpeg to use QuickTime Animation. For ProRes, you can use:
-vcodec prores -profile 2
-profile refers to ProRes Profiles (0, 1, 2, 3), 0 being Proxy, and 3 being High Quality (source).
Besides these, if you are going to use ffmpeg, there are lots of detailed bits of commands online, or we can figure out specific commands for your workflow here.