Do these names collide with the names of of "normal" files?
Yes, they do collide. However unless you're getting to bigger files (>128kb) the last character isn't even a normal ASCII character so the chances of collision are super minimal.
How you use the first 7 chars of the filename is up to you, but I would imagine you could find a way to ensure that the first 7 chars are not the same as the first 7 chars of another file on the watch.
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.
Yes, they do collide. However unless you're getting to bigger files (>128kb) the last character isn't even a normal ASCII character so the chances of collision are super minimal.
How you use the first 7 chars of the filename is up to you, but I would imagine you could find a way to ensure that the first 7 chars are not the same as the first 7 chars of another file on the watch.