Python Question - moving file across filesystems
I just started learning Python, so my question may be fairly obvious, but I haven't been able to find an answer.
I was writing a plugin for madman in Python, but for it to work, I need to be able to move a file across filesystems. os.rename doesn't work across filesytsems (in Linux, at least). Is there another way to do it, aside from creating a new file, copying the contents from the original file to the new one, and then deleting the old file? If I have to do that, I will. It just seems there should be a simpler way.