I'm thinking of using Docker to build my dependencies on a Continuous Integration (CI) server, so that I
How do I copy a file in Python? I couldn't find anything under os.