用python语言写一段程序要求自动在桌面的文件夹1中找到大的视频文件并将他们的文件名增加时间戳。

以下是可能的Python代码：

import os
import time

folder_path = os.path.join(os.path.expanduser("~"), "Desktop", "文件夹1")
for filename in os.listdir(folder_path):
    if filename.endswith(".mp4") or filename.endswith(".avi"):
        file_path = os.path.join(folder_path, filename)
        size = os.path.getsize(file_path)
        if size > 100 * 1024 * 1024:  # 大于100MB
            timestamp = int(time.time())
            new_filename = f"{filename[:-4]}_{timestamp}.mp4"
            new_file_path = os.path.join(folder_path, new_filename)
            os.rename(file_path, new_file_path)
            print(f"重命名 {filename} 为 {new_filename}")

这个程序首先获取桌面上名为“文件夹1”的文件夹的路径，然后遍历其中的所有文件。如果文件名以“.mp4”或“.avi”结尾，并且文件大小超过100MB，那么就认为这是一个大的视频文件。程序会获取当前时间戳，并将其添加到文件名的末尾。最后，程序使用“os.rename”函数将原始文件重命名为带有时间戳的新文件名。如果成功重命名文件，程序会输出一条执行成功的消息