Searched refs:time_regexp (Results 1 – 1 of 1) sorted by relevance
25 time_regexp='s/user[ ]*\([0-9]*\)m\([0-9.]*\)s/\1 \2/g'27 time_regexp='s/user[ \t]*\([0-9]*\)m\([0-9.]*\)s/\1 \2/g'32 sed "$time_regexp" | \