获取一个输入文件名并复制它，但使用不同的文件扩展名

import os
import shutil

def copy_file_with_new_extension(file_path, new_extension):
    # 获取输入文件名和扩展名
    file_name, old_extension = os.path.splitext(file_path)
    
    # 构建新的文件名
    new_file_name = file_name + new_extension
    
    # 复制文件
    shutil.copy(file_path, new_file_name)
    
    return new_file_name

# 示例用法
input_file = input("请输入文件名：")
new_extension = input("请输入新的文件扩展名：")

new_file = copy_file_with_new_extension(input_file, new_extension)
print("已复制文件并更改扩展名为：", new_file)