Насколько эффективно я могу конвертировать
date_format = "2019-01-30-10-07-50-000"
Ожидаемый результат
"2019-01-30 10-07-50.000"
Итакдалеко, что я попробовал:
ss = list(ss)
ss[10] = " "
ss[-4] = "."
print("".join(ss))
Я знаю, что могу сделать это, используя позиционную замену, используя метод str replace (), есть ли другой эффективный питонический способ, обе являются временными метками