Moving output files using os.rename() does not work cross filesystems
When specifying save_kat
and/or save_output
in the kat run
function, the output files are moved using os.rename()
in respectively finesse.py#L2395 and finesse.py#L2411. That fails in case the src and dest are on different filesystems which is very common since the src is in the /tmp directory.
(Note that according to https://stackoverflow.com/a/43967659 shutil.move()
would be a good replacement for python3 only. I've tried shutil.move()
on two linux systems, one with 2.7.5 one with 2.7.17 and both seem to work fine which also matches the documentation https://docs.python.org/2.7/library/shutil.html#shutil.move).