You are reading a single comment by @Kelvin and its replies.
Click here to read the full conversation.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
@Kelvin
Not sure if this is the right place to ask, but I am recently involved in a pet project (will certainly post more on that when it's ready :)) that would benefit from getting the file size of a particular file as well as "rewinding" a file pipe to the very beginning. For the latter function currently what I am doing right now is to close the file handle and reopening at the same path so to mimic this behavior, but for now I really have no idea how to get the size of a particular file.
Would there be a future API update for these? Or is it that it is in fact possible at this stage that I happened to miss? Thanks!