Hi Andrew,
After I stopped recording data with braid I think I may have shut down braid too quickly, before it was able to properly zip the data. I have a ".braidz" file and a ".braid" file. When I try loading the .braidz file as I usually do, I get an error: "zipfile.BadZipFile: File is not a zip file"
Is there a way to "fix" my braidz file(s) so that it can be opened as normal?
(I tried the naive approach of zipping the .braid and .braidz together, and got a little further with the error "no item named 'kalman_estimates.csv.csv.gz' in the archive -- that file is in the .braid directory, suggesting that there's just some detail about the structure of the contents of the zip file that I didn't have quite right?)
Thanks!
- Floris