Python：获取不同的时间格式

当我使用time.astime时，如何将时间格式化为16:13:34小时：分钟：秒，而不是2013年2月15日星期五16:13:55？有没有办法返回第一个例子16:13:14所示的时间

编辑：我尝试了以下方法：

>>> local = time.gmtime("tm_hour") + ":" + time.gmtime("tm_min") + ":" + time.gm_time("tm_sec")
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: a float is required

---

如果需要当前的HH:MM:SS时间，请使用以下命令：

time.strftime('%H:%M:%S')

---

如果需要当前的HH:MM:SS时间，请使用以下命令：

time.strftime('%H:%M:%S')

您也可以为此使用模块。如果要以给定格式获取当前时间，请使用

from datetime import datetime
print datetime.now().strftime("%H:%M:%S")

您也可以为此使用模块。如果要以给定格式获取当前时间，请使用

from datetime import datetime
print datetime.now().strftime("%H:%M:%S")