Использование% f с strftime () в Python для получения микросекунд

Я пытаюсь использовать strftime () с точностью до микросекунд, что кажется возможным с использованием% f (как указано здесь ). Однако когда Я пробую следующий код:

import time
import strftime from time

print strftime("%H:%M:%S.%f")

... Я получаю час, минуты и секунды, но% f печатается как% f без каких-либо признаков микросекунд. Я запускаю Python 2.6.5 на Ubuntu, поэтому все должно быть в порядке, и% f должен поддерживаться (насколько я знаю, он поддерживается в версии 2.6 и выше).