我查了一下Pythonos接口，但無(wú)法找到移動(dòng)文件的方法。我該怎么做$ mv ...用Python？>>> source_files = '/PATH/TO/FOLDER/*'>>> destination_folder = 'PATH/TO/FOLDER'>>> # equivalent of $ mv source_files destination_folder如何在Python中移動(dòng)文件