Copying a file with another name

Question

I want to copy /local/mnt/workspace/user/Automation/swbuild/board/test_new.html as /local/mnt/workspace/user/Automation/sw_admin/reports/board/test.html ,overwrite test.html if it already exists..is there an inbuilt python copy command to do this?

/local/mnt/workspace/user/Automation/swbuild/board/test_new.html
/local/mnt/workspace/user/Automation/sw_admin/reports/board/test.html

Answer 1

Use shutil.copy:

import shutil
shutil.copy('/local/mnt/workspace/user/Automation/swbuild/board/test_new.html',
            '/local/mnt/workspace/user/Automation/sw_admin/reports/board/test.html')