写一个随机选取一定比例的文件到另一个文件夹的python脚本

以下是一个简单的 Python 脚本，实现随机选取指定比例的文件并复制到另一个文件夹：

import os
import shutil
import random

def copy_random_files(src_folder, dst_folder, ratio):
    all_files = os.listdir(src_folder)
    num_files = len(all_files)
    num_to_copy = int(num_files * ratio)
    files_to_copy = random.sample(all_files, nu