I know that I can extract a single view from a
.ipe file with
iperender -eps -view 3 a.ipe a3.eps.
I want to create a script that takes a
.ipe file as argument, and extracts all views, independent on how many views the
.ipe file has.
For that I need a function to count the views in the
.ipe file. I could just try to extract view by view until it fails, but this seems like an unvaforable solution. Then, if
iperender fails for a different reason, it would fail silently.
Is there any
ipe-related tool that just prints the amount of views in a