要保存一个带有当前时间的工作区，您可以使用Python的datetime模块获取当前时间，并将其添加到工作区的文件名中。以下是一个代码示例：

import datetime

# 获取当前时间
current_time = datetime.datetime.now()

# 将当前时间格式化为字符串
time_str = current_time.strftime("%Y-%m-%d_%H-%M-%S")

# 构建保存工作区的文件名
file_name = f"workspace_{time_str}.txt"

# 保存工作区到文件
with open(file_name, "w") as file:
    file.write("这是保存的工作区内容")

在上面的示例中，current_time变量包含当前的日期和时间。time_str变量将当前时间格式化为字符串，以便在文件名中使用。最后，文件名将为workspace_YYYY-MM-DD_HH-MM-SS.txt，其中YYYY表示年份，MM表示月份，DD表示日期，HH表示小时，MM表示分钟，SS表示秒钟。

您可以根据需要自定义文件名的格式。最后，使用with open()语句将工作区内容保存到文件中。请注意，这只是一个示例，您可以根据自己的需求进行修改。