从EST/EDT转换为GMT

from datetime import datetime, timedelta

def convert_to_gmt(time_str, is_dst):
    # 将输入的时间字符串转换为datetime对象
    input_time = datetime.strptime(time_str, "%Y-%m-%d %H:%M:%S")

    # 判断是否为夏令时
    if is_dst:
        # 如果是夏令时，减去4小时
        output_time = input_time - timedelta(hours=4)
    else:
        # 如果不是夏令时，减去5小时
        output_time = input_time - timedelta(hours=5)

    # 返回转换后的GMT时间字符串
    return output_time.strftime("%Y-%m-%d %H:%M:%S")

# 示例：将EST时间转换为GMT时间
time_str = "2022-06-01 12:00:00"
is_dst = False
gmt_time = convert_to_gmt(time_str, is_dst)
print(gmt_time)  # 输出：2022-06-01 17:00:00