python文件截取的方法

我有这样一个文件(n多行)
time:0.0009 user:12312312312
time:0.087 user:12312312312
time:0.76 user:2312312312
我只想要time 后面的数值部分,user部分不需要,请问怎么弄好
想要的格式
0.0009
0.087
0.76
已经自己解决了。。

第1个回答  2014-05-20
import io
reader = open('test11.txt','r+',encoding = 'utf-8')
line = reader.readline()
user = []
while line != '' and line is not None:
user = line.split(' ')[0].split(':')[1]
print(user)
line = reader.readline()
reader.close()本回答被提问者采纳
第2个回答  2014-05-20
python里面有.split 方法,首先你line.find(:) 然后.split(" " )就可以了...
第3个回答  2014-05-20
for line in open('a.txt', 'r'):
    line = line.split(' ')[0]
    print(line.split(':')[1])

第4个回答  2014-05-20
正则表达式
import re
text = "time:0.0009 user:12312312312"

sub_text = re.match(r'time:(\S+).*',text)
print sub_text.group(1)