I mistyped when I asked this question regarding RTClib. That would be quite a trick

I need to rename a file on SD card after it is detected and used to configure the device. I see no way to directly rename a file. Perhaps copy to a new name and delete the old one, but I see nothing to use to copy either. Two files open at once for a byte by byte copy seems like a bad idea.