linux常用ping命令输出监测时间到文件、