Export to CSV from command line?

[aliddell]

I know that it's possible to export the output of a VerySleepy session to a .sleepy file, but is it possible to then convert that file to a CSV programmatically?

I don't see any such option here ☝️.

What I'm interested in doing is batch profiling my program with different data sizes, but I have to manually open up each .sleepy file and export to CSV. It's a bit tedious.

[CyberShadow]

The .sleepy file is pretty easy to parse programmatically - it is a ZIP file with text files inside. Perhaps you may find it easier to just do that?

[aliddell]

Is there a spec for that somewhere, or do I need to read the source?

[CyberShadow]

No spec document. Hopefully most of it should be self-evident from just looking at a sample .sleepy file, but if anything isn't clear, the source code is indeed your best bet for additional clarity.