更改DateTimeIndex的日期

Question

我有一个名为的csv文件，data.csv例如

TS;val

10:00;0.1

10:05;0.2

10:10;0.3

10:15;0.4

我使用此脚本读取了此csv文件

#!/usr/bin/env python

import pandas as pd

if __name__ == "__main__":

    yyyy = 2013

    mm = 2

    dd = 1

    df = pd.read_csv('data.csv', sep=';', parse_dates=[0], index_col=0)

    print(df)

我明白了

                     val

TS                      

2013-06-17 10:00:00  0.1

2013-06-17 10:05:00  0.2

2013-06-17 10:10:00  0.3

2013-06-17 10:15:00  0.4

我想将每个DateTimeIndex的日期更改为2013-02-01

                     val

TS                      

2013-02-01 10:00:00  0.1

2013-02-01 10:05:00  0.2

2013-02-01 10:10:00  0.3

2013-02-01 10:15:00  0.4

什么是更简单的方法来做到这一点？