convert linux time cmd's results

filter_time_cmd_results.sh

def time_convert(tmp_str):
    """
    convert linux time cmd's results to seconds.
    """
    tmp_str = tmp_str.strip()
    result = [ _ for _ in re.split('[ms]', tmp_str) if _.strip()]
    if len(result) != 2:
        print("error when convert time ", tmp_str)
        return None
    return float(result[0]) * 60 + float(result[1])


def get_mean_time_cmd(reg, content):
    results = reg.findall(content)
    if not results:
        reg2 = re.compile(r"@Yueming Hao: Run (.*)")
        print("error for ", reg2.findall(content)[0])
        return None
    results = [ time_convert(_) for _ in results[0] ]
    print(results)
    return np.mean(results)