Hi, is there a function available in Python to move a file from one directory to another? Kind regards, P.